(domain TTFxFn 1 Class) 
UXExperimentalTerms.kif 16971697 
The number 1 argument of TTFx is an instance of class 
(domain closedOn 2 Class) 
Merge.kif 35033503 
The number 2 argument of closed on is an instance of class 
(domain disjoint 1 Class) 
Merge.kif 393393 
The number 1 argument of disjoint is an instance of class 
(domain disjoint 2 Class) 
Merge.kif 394394 
The number 2 argument of disjoint is an instance of class 
(domain disjointDecomposition 1 Class) 
Merge.kif 566566 
The number 1 argument of disjoint decomposition is an instance of class 
(domain disjointDecomposition 2 Class) 
Merge.kif 567567 
The number 2 argument of disjoint decomposition is an instance of class 
(domain domain 3 Class) 
Merge.kif 208208 
The number 3 argument of domain is an instance of class 
(domain domainSubclass 3 Class) 
Merge.kif 230230 
The number 3 argument of domain subclass is an instance of class 
(domain equivalenceRelationOn 2 Class) 
Merge.kif 36343634 
The number 2 argument of equivalence relation on is an instance of class 
(domain exhaustiveDecomposition 1 Class) 
Merge.kif 548548 
The number 1 argument of exhaustive decomposition is an instance of class 
(domain exhaustiveDecomposition 2 Class) 
Merge.kif 549549 
The number 2 argument of exhaustive decomposition is an instance of class 
(domain immediateSubclass 1 Class) 
Merge.kif 151151 
The number 1 argument of immediate subclass is an instance of class 
(domain immediateSubclass 2 Class) 
Merge.kif 152152 
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 35713571 
The number 2 argument of partial ordering on is an instance of class 
(domain partition 1 Class) 
Merge.kif 582582 
The number 1 argument of partition is an instance of class 
(domain partition 2 Class) 
Merge.kif 583583 
The number 2 argument of partition is an instance of class 
(domain range 2 Class) 
Merge.kif 305305 
The number 2 argument of range is an instance of class 
(domain reflexiveOn 2 Class) 
Merge.kif 35323532 
The number 2 argument of reflexive on is an instance of class 
(domain subclass 1 Class) 
Merge.kif 129129 
The number 1 argument of subclass is an instance of class 
(domain subclass 2 Class) 
Merge.kif 130130 
The number 2 argument of subclass is an instance of class 
(domain successorClass 1 Class) 
Merge.kif 89128912 
The number 1 argument of successorClass is an instance of class 
(domain successorClass 2 Class) 
Merge.kif 89138913 
The number 2 argument of successorClass is an instance of class 
(domain total 1 Class) 
UXExperimentalTerms.kif 47324732 
The number 1 argument of total is an instance of class 
(domain totalFacilityTypeInArea 2 Class) 
Transportation.kif 12141214 
The number 2 argument of total facility type in area is an instance of class 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 