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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BuildingLevel
BuildingLevel(building level)
first_floor, floor, ground_floor, ground_level, level, storey, story

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13106-13107
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8399-8399
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9015-9015
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9016-9016
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9017-9017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13105-13105 Building level is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13116-13116 Basement is a subclass of building level
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12199-12199
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12198-12198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12197-12197

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12814-12824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13109-13114

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1158-1167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12790-12802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22464-22475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13121-13130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13136-13149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24652-24664
No TPTP formula. May not be expressible in strict first order. Hotel.kif 678-688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17046-17057
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17029-17040


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