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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Laboratory

Sigma KEE - Laboratory
Laboratory(laboratory)
defense_laboratory, lab, laboratory, research_lab, research_laboratory, science_lab, science_laboratory

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15707-15708
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1829-1829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15706-15706 Laboratory is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33001-33001
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33000-33000
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32999-32999

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15710-15715


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