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 9003-9004
No TPTP formula. May not be expressible in strict first order. Merge.kif 9000-9000 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 9001-9001 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 8999-8999 bottom is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8998-8998 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 365-365
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 360-360 "底部" is the printable form of bottom in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11688-11688 "底部" is the printable form of bottom in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11687-11687 "bottom" is the printable form of bottom in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9006-9011
No TPTP formula. May not be expressible in strict first order. Merge.kif 9059-9064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5018-5025
No TPTP formula. May not be expressible in strict first order. Geography.kif 5323-5330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15074-15079

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15074-15079
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1114-1122
No TPTP formula. May not be expressible in strict first order. Merge.kif 7216-7221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4952-4960
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23080-23086
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5479-5484
No TPTP formula. May not be expressible in strict first order. Geography.kif 3899-3908
No TPTP formula. May not be expressible in strict first order. Weather.kif 1346-1371
No TPTP formula. May not be expressible in strict first order. Weather.kif 1593-1620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15129-15135


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners