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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - bottom
bottom

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2843-2844
No TPTP formula. May not be expressible in strict first order. Merge.kif 9850-9851
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1587-1588
No TPTP formula. May not be expressible in strict first order. Merge.kif 9847-9847 The number 1 argument of bottom is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9848-9848 The number 2 argument of bottom is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9846-9846 bottom is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9845-9845 bottom is a subrelation of superficial part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 359-359
No TPTP formula. May not be expressible in strict first order. english_format.kif 362-362
No TPTP formula. May not be expressible in strict first order. french_format.kif 208-208
No TPTP formula. May not be expressible in strict first order. relations-it.txt 39-39
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2015-2015
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 160-160
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 73-73
No TPTP formula. May not be expressible in strict first order. relations-de.txt 477-477
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 228-228
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 224-224
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 94-94
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 360-360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11755-11755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11754-11754
No TPTP formula. May not be expressible in strict first order. terms-de.txt 148-148
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 95-95

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9853-9858
No TPTP formula. May not be expressible in strict first order. Merge.kif 9914-9919
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5143-5153
No TPTP formula. May not be expressible in strict first order. Geography.kif 5949-5956
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19068-19073
No TPTP formula. May not be expressible in strict first order. Weather.kif 2065-2079

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19068-19073
No TPTP formula. May not be expressible in strict first order. Weather.kif 2480-2501
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1165-1173
No TPTP formula. May not be expressible in strict first order. Merge.kif 7825-7830
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4921-4929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26851-26857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6136-6141
No TPTP formula. May not be expressible in strict first order. Weather.kif 2146-2158
No TPTP formula. May not be expressible in strict first order. Geography.kif 4347-4358
No TPTP formula. May not be expressible in strict first order. Weather.kif 3660-3685
No TPTP formula. May not be expressible in strict first order. Weather.kif 3865-3892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19123-19129


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