Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - between
between

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2119-2121
No TPTP formula. May not be expressible in strict first order. Merge.kif 4016-4019
No TPTP formula. May not be expressible in strict first order. Merge.kif 4012-4012 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4013-4013 The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4014-4014 The number 3 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4010-4010 between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4011-4011 between is an instance of ternary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order. english_format.kif 65-65
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 66-66
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10909-10909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10908-10908

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1355-1373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1334-1351
No TPTP formula. May not be expressible in strict first order. Merge.kif 4021-4023

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9006-9008 An object connects another object and a third object if and only if the object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15869-15874
No TPTP formula. May not be expressible in strict first order. Geography.kif 5605-5619
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 246-259
No TPTP formula. May not be expressible in strict first order. Geography.kif 1205-1211
No TPTP formula. May not be expressible in strict first order. Merge.kif 10387-10398
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11884-11896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11872-11882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11856-11865
No TPTP formula. May not be expressible in strict first order. Merge.kif 4021-4023
No TPTP formula. May not be expressible in strict first order. Merge.kif 4038-4040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7926-7932
No TPTP formula. May not be expressible in strict first order. Cars.kif 3250-3260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18015-18028

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 233-233 Saint helena is between south america and western africa


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners