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 4066-4069
No TPTP formula. May not be expressible in strict first order. Merge.kif 4062-4062 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4063-4063 The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4064-4064 The number 3 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4060-4060 between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4061-4061 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 1373-1391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1352-1369
No TPTP formula. May not be expressible in strict first order. Merge.kif 4071-4073
No TPTP formula. May not be expressible in strict first order. Merge.kif 9435-9437

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16723-16728
No TPTP formula. May not be expressible in strict first order. Geography.kif 5720-5734
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 224-237
No TPTP formula. May not be expressible in strict first order. Merge.kif 14894-14910
No TPTP formula. May not be expressible in strict first order. Geography.kif 1213-1219
No TPTP formula. May not be expressible in strict first order. Merge.kif 10952-10962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14596-14608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14584-14594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14568-14577
No TPTP formula. May not be expressible in strict first order. Merge.kif 4071-4073
No TPTP formula. May not be expressible in strict first order. Merge.kif 4088-4090
No TPTP formula. May not be expressible in strict first order. Merge.kif 9431-9433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8684-8690
No TPTP formula. May not be expressible in strict first order. Cars.kif 3236-3246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20956-20969

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