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 9127-9128
No TPTP formula. May not be expressible in strict first order. Merge.kif 9124-9124 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 9125-9125 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 9123-9123 bottom is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9122-9122 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11688-11688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11687-11687

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9130-9135
No TPTP formula. May not be expressible in strict first order. Merge.kif 9183-9188
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5024-5031
No TPTP formula. May not be expressible in strict first order. Geography.kif 5322-5329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15100-15105

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15100-15105
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 7340-7345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4958-4966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23117-23123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5485-5490
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 1564-1589
No TPTP formula. May not be expressible in strict first order. Weather.kif 1811-1838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15155-15161


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