(domain TTFxFn 1 Class) 
UXExperimentalTerms.kif 16961696 
The number 1 argument of TTFx is an instance of class 
(domain closedOn 2 Class) 
Merge.kif 35343534 
The number 2 argument of closed on is an instance of class 
(domain disjoint 1 Class) 
Merge.kif 396396 
The number 1 argument of disjoint is an instance of class 
(domain disjoint 2 Class) 
Merge.kif 397397 
The number 2 argument of disjoint is an instance of class 
(domain disjointDecomposition 1 Class) 
Merge.kif 571571 
The number 1 argument of disjoint decomposition is an instance of class 
(domain disjointDecomposition 2 Class) 
Merge.kif 572572 
The number 2 argument of disjoint decomposition is an instance of class 
(domain domain 3 Class) 
Merge.kif 210210 
The number 3 argument of domain is an instance of class 
(domain domainSubclass 3 Class) 
Merge.kif 232232 
The number 3 argument of domain subclass is an instance of class 
(domain equivalenceRelationOn 2 Class) 
Merge.kif 36653665 
The number 2 argument of equivalence relation on is an instance of class 
(domain exhaustiveDecomposition 1 Class) 
Merge.kif 553553 
The number 1 argument of exhaustive decomposition is an instance of class 
(domain exhaustiveDecomposition 2 Class) 
Merge.kif 554554 
The number 2 argument of exhaustive decomposition is an instance of class 
(domain immediateInstance 2 Class) 
Merge.kif 9191 
The number 2 argument of immediate instance is an instance of class 
(domain immediateSubclass 1 Class) 
Merge.kif 153153 
The number 1 argument of immediate subclass is an instance of class 
(domain immediateSubclass 2 Class) 
Merge.kif 154154 
The number 2 argument of immediate subclass is an instance of class 
(domain instance 2 Class) 
Merge.kif 8282 
The number 2 argument of instance is an instance of class 
(domain partialOrderingOn 2 Class) 
Merge.kif 36023602 
The number 2 argument of partial ordering on is an instance of class 
(domain partition 1 Class) 
Merge.kif 587587 
The number 1 argument of partition is an instance of class 
(domain partition 2 Class) 
Merge.kif 588588 
The number 2 argument of partition is an instance of class 
(domain range 2 Class) 
Merge.kif 308308 
The number 2 argument of range is an instance of class 
(domain reflexiveOn 2 Class) 
Merge.kif 35633563 
The number 2 argument of reflexive on is an instance of class 
(domain subclass 1 Class) 
Merge.kif 131131 
The number 1 argument of subclass is an instance of class 
(domain subclass 2 Class) 
Merge.kif 132132 
The number 2 argument of subclass is an instance of class 
(domain successorClass 1 Class) 
Merge.kif 89508950 
The number 1 argument of successor class is an instance of class 
(domain successorClass 2 Class) 
Merge.kif 89518951 
The number 2 argument of successor class is an instance of class 
(domain total 1 Class) 
UXExperimentalTerms.kif 47364736 
The number 1 argument of total is an instance of class 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 