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 4164-4167
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 772-774
No TPTP formula. May not be expressible in strict first order. Merge.kif 4160-4160 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4161-4161 The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4162-4162 The number 3 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4158-4158 between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4159-4159 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. french_format.kif 58-58
No TPTP formula. May not be expressible in strict first order. relations-it.txt 37-37
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1881-1881
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 10-10
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 71-71
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 131-131
No TPTP formula. May not be expressible in strict first order. relations-de.txt 71-71
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 55-55
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 77-77
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 57-57
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 90-90
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 10907-10907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10906-10906
No TPTP formula. May not be expressible in strict first order. terms-de.txt 18-18
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 91-91

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1634-1653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1612-1630
No TPTP formula. May not be expressible in strict first order. Merge.kif 4169-4171
No TPTP formula. May not be expressible in strict first order. Merge.kif 9663-9665

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17164-17169
No TPTP formula. May not be expressible in strict first order. Geography.kif 5956-5970
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. Medicine.kif 886-908
No TPTP formula. May not be expressible in strict first order. Medicine.kif 844-866
No TPTP formula. May not be expressible in strict first order. Geography.kif 1200-1206
No TPTP formula. May not be expressible in strict first order. Merge.kif 11205-11215
No TPTP formula. May not be expressible in strict first order. Merge.kif 15304-15325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16525-16537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16513-16523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16497-16506
No TPTP formula. May not be expressible in strict first order. Merge.kif 4169-4171
No TPTP formula. May not be expressible in strict first order. Merge.kif 4186-4188
No TPTP formula. May not be expressible in strict first order. Merge.kif 9659-9661
No TPTP formula. May not be expressible in strict first order. Medicine.kif 790-801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10287-10293
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16995-17010
No TPTP formula. May not be expressible in strict first order. Cars.kif 3297-3307
No TPTP formula. May not be expressible in strict first order. Food.kif 1590-1603

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