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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FireAlarm

Sigma KEE - SocialScience
SocialScience(社會科學)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21126-21128
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6869-6869
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7907-7907
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7908-7908
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7909-7909
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7910-7910
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7911-7911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21125-21125 子類 社會科學 and 科學

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21133-21133 子類 人類學 and 社會科學
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21202-21202 子類 經濟學 and 社會科學
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21225-21225 子類 語言學 and 社會科學
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21130-21130 子類 政治學 and 社會科學
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21228-21228 子類 心理學 and 社會科學
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21278-21278 子類 社會學 and 社會科學
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53648-53648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53647-53647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53646-53646


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