domainSubclass concept from the SUMO knowledge base

Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > domainSubclass

Next TernaryPredicate: hasPurposeForAgent Up: TernaryPredicate Previous TernaryPredicate: domain

domainSubclass

subject fact

domainSubclass documentation Predicate used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is a subclass of ?CLASS 2001-11-30 13:34:06.0
has axiom
(=>
(domainSubclass ?REL 1 ?CLASS)
(forall (?INST1 ?INST2)
(=>
(holds ?REL ?INST1 ?INST2)
(subclass ?INST1 ?CLASS))))
has axiom
(=>
(domainSubclass ?REL 1 ?CLASS)
(forall (?INST1 ?INST2 ?INST3)
(=>
(holds ?REL ?INST1 ?INST2 ?INST3)
(subclass ?INST1 ?CLASS))))
2001-11-30 13:34:06.0
has axiom
(=>
(domainSubclass ?REL 2 ?CLASS)
(forall (?INST1 ?INST2)
(=>
(holds ?REL ?INST1 ?INST2)
(subclass ?INST2 ?CLASS))))
has axiom
(=>
(domainSubclass ?REL 2 ?CLASS)
(forall (?INST1 ?INST2 ?INST3)
(=>
(holds ?REL ?INST1 ?INST2 ?INST3)
(subclass ?INST2 ?CLASS))))
2001-11-30 13:34:06.0
has axiom
(=>
(domainSubclass ?REL 3 ?CLASS)
(forall (?INST1 ?INST2 ?INST3)
(=>
(holds ?REL ?INST1 ?INST2 ?INST3)
(subclass ?INST3 ?CLASS))))
has domain1 Relation
has domain2 PositiveInteger
has domain3 Class 2001-11-30 13:34:06.0
is an instance of TernaryPredicate

Predicate is first domain of singleValued 2001-11-30 13:35:02.0

Relation is second domain of subrelation 2001-11-30 13:35:10.0

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

domainSubclass	*documentation* Predicate used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is a subclass of ?CLASS
	has axiom (=> (domainSubclass ?REL 1 ?CLASS) (forall (?INST1 ?INST2) (=> (holds ?REL ?INST1 ?INST2) (subclass ?INST1 ?CLASS))))
	has axiom (=> (domainSubclass ?REL 1 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (subclass ?INST1 ?CLASS))))
	has axiom (=> (domainSubclass ?REL 2 ?CLASS) (forall (?INST1 ?INST2) (=> (holds ?REL ?INST1 ?INST2) (subclass ?INST2 ?CLASS))))
	has axiom (=> (domainSubclass ?REL 2 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (subclass ?INST2 ?CLASS))))
	has axiom (=> (domainSubclass ?REL 3 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (subclass ?INST3 ?CLASS))))
	has domain1 Relation
	has domain2 PositiveInteger
	has domain3 Class
	*is an instance* of** TernaryPredicate
Predicate	*is first domain* of** singleValued
Relation	*is second domain* of** subrelation
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical