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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodAndAgricultureOrganization

 Sigma KEE - BuildingLevel
BuildingLevel(建设水平)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15395-15396
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8397-8397
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9010-9010
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9011-9011
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9012-9012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15394-15394 建设水平 是 固定人工制品 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15405-15405 地下室 是 建设水平 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12257-12257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12256-12256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12255-12255

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15096-15106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15398-15403

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1207-1216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15072-15084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24631-24642
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15410-15419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15426-15439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26496-26508
No TPTP formula. May not be expressible in strict first order. Hotel.kif 705-715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19236-19247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19219-19230


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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