TreeView Knowledge Base Browser

appearance as argument number 1

(instance domainSubclass TernaryPredicate)	Merge.kif 223-223	domain subclass is an instance of ternary predicate
(domain domainSubclass 1 Relation)	Merge.kif 224-224	The number 1 argument of domain subclass is an instance of relation
(domain domainSubclass 2 PositiveInteger)	Merge.kif 225-225	The number 2 argument of domain subclass is an instance of positive integer
(domain domainSubclass 3 Class)	Merge.kif 226-226	The number 3 argument of domain subclass is an instance of class
(documentation domainSubclass EnglishLanguage "A Predicate that is used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.")	Merge.kif 227-230	The number 3 argument of domain subclass is an instance of class

appearance as argument number 2

(termFormat EnglishLanguage domainSubclass "domain subclass")	domainEnglishFormat.kif 20118-20118
(termFormat ChineseTraditionalLanguage domainSubclass "域子類")	domainEnglishFormat.kif 20119-20119
(termFormat ChineseLanguage domainSubclass "域子类")	domainEnglishFormat.kif 20120-20120
(format EnglishLanguage domainSubclass "the number %2 argument of %1 is %n a subclass of %3")	english_format.kif 298-298

antecedent

(=> (and (subrelation ?REL1 ?REL2) (domainSubclass ?REL2 ?NUMBER ?CLASS1)) (domainSubclass ?REL1 ?NUMBER ?CLASS1))	Merge.kif 232-236	If X is a subrelation of Y and the number Z argument of Y is a subclass of W, then the number Z argument of X is a subclass of W
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 238-244	If the number X argument of Y is a subclass of Z and the number X argument of Y is a subclass of W, then Z is a subclass of W or W is a subclass of Z
(=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 418-423	If the number X argument of Y is a subclass of Z, the number X argument of W is a subclass of V, and Z is disjoint from V, then Y and W are disjoint
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3116-3121	If the number X argument of Y is a subclass of Z, Y is an instance of predicate, and Y @ROW, then V element of (@ROW) is a subclass of Z

consequent

(=>
    (and
        (subrelation ?REL1 ?REL2)
        (domainSubclass ?REL2 ?NUMBER ?CLASS1))
    (domainSubclass ?REL1 ?NUMBER ?CLASS1))

Merge.kif 232-236

If X is a subrelation of Y and the number Z argument of Y is a subclass of W, then the number Z argument of X is a subclass of W

appearance as argument number 0

(domainSubclass rangeSubclass 2 Class)	Merge.kif 327-327	The number 2 argument of range subclass is a subclass of class
(domainSubclass exhaustiveAttribute 1 Attribute)	Merge.kif 480-480	The number 1 argument of exhaustive attribute is a subclass of attribute
(domainSubclass material 1 Substance)	Merge.kif 987-987	The number 1 argument of material is a subclass of substance
(domainSubclass ingredient 1 Substance)	Merge.kif 1286-1286	The number 1 argument of ingredient is a subclass of substance
(domainSubclass ingredient 2 Substance)	Merge.kif 1287-1287	The number 2 argument of ingredient is a subclass of substance
(domainSubclass substanceElement 1 CorpuscularObject)	Merge.kif 1315-1315	The number 1 argument of substance element is a subclass of corpuscular object
(domainSubclass substanceElement 2 Substance)	Merge.kif 1316-1316	The number 2 argument of substance element is a subclass of substance
(domainSubclass AttrFn 1 Object)	Merge.kif 1868-1868	The number 1 argument of attr is a subclass of object
(domainSubclass causesSubclass 1 Process)	Merge.kif 3907-3907	The number 1 argument of causes subclass is a subclass of process
(domainSubclass causesSubclass 2 Process)	Merge.kif 3908-3908	The number 2 argument of causes subclass is a subclass of process
(domainSubclass capability 1 Process)	Merge.kif 4004-4004	The number 1 argument of capability is a subclass of process
(domainSubclass hasSkill 1 Process)	Merge.kif 4083-4083	The number 1 argument of has skill is a subclass of process
(domainSubclass precondition 1 Process)	Merge.kif 4407-4407	The number 1 argument of precondition is a subclass of process
(domainSubclass precondition 2 Process)	Merge.kif 4408-4408	The number 2 argument of precondition is a subclass of process
(domainSubclass hindersSubclass 1 Process)	Merge.kif 4423-4423	The number 1 argument of hinders subclass is a subclass of process
(domainSubclass hindersSubclass 2 Process)	Merge.kif 4424-4424	The number 2 argument of hinders subclass is a subclass of process
(domainSubclass preventsSubclass 1 Process)	Merge.kif 4451-4451	The number 1 argument of prevents subclass is a subclass of process
(domainSubclass preventsSubclass 2 Process)	Merge.kif 4452-4452	The number 2 argument of prevents subclass is a subclass of process
(domainSubclass prevents 2 Process)	Merge.kif 4481-4481	The number 2 argument of prevents is a subclass of process
(domainSubclass hinders 2 Process)	Merge.kif 4504-4504	The number 2 argument of hinders is a subclass of process
(domainSubclass equivalentContentClass 1 ContentBearingPhysical)	Merge.kif 4607-4607	The number 1 argument of equivalent content class is a subclass of content bearing physical
(domainSubclass equivalentContentClass 2 ContentBearingPhysical)	Merge.kif 4608-4608	The number 2 argument of equivalent content class is a subclass of content bearing physical
(domainSubclass subsumesContentClass 1 ContentBearingPhysical)	Merge.kif 4633-4633	The number 1 argument of subsumes content class is a subclass of content bearing physical
(domainSubclass subsumesContentClass 2 ContentBearingPhysical)	Merge.kif 4634-4634	The number 2 argument of subsumes content class is a subclass of content bearing physical
(domainSubclass GeneralizedUnionFn 1 SetOrClass)	Merge.kif 5607-5607	The number 1 argument of generalized union is a subclass of set or class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: