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 9614-9615
No TPTP formula. May not be expressible in strict first order. Merge.kif 9611-9611 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 9612-9612 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 9610-9610 bottom is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9609-9609 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. chinese_format.kif 360-360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11749-11749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11748-11748

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9617-9622
No TPTP formula. May not be expressible in strict first order. Merge.kif 9678-9683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4432-4442
No TPTP formula. May not be expressible in strict first order. Geography.kif 5543-5550
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16934-16939

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16934-16939
No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1135-1143
No TPTP formula. May not be expressible in strict first order. Merge.kif 7644-7649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4366-4374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24521-24527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4921-4926
No TPTP formula. May not be expressible in strict first order. Geography.kif 4029-4040
No TPTP formula. May not be expressible in strict first order. Weather.kif 2829-2854
No TPTP formula. May not be expressible in strict first order. Weather.kif 3034-3061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16989-16995


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