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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OpenService

 Sigma KEE - SocialUnit
SocialUnit(社会单位)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3676-3676
No TPTP formula. May not be expressible in strict first order. Merge.kif 16344-16345
No TPTP formula. May not be expressible in strict first order. Merge.kif 16343-16343 社会单位 是 一群人 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23231-23231 核心家庭 是 社会单位 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53656-53656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53655-53655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53654-53654

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23050-23058
No TPTP formula. May not be expressible in strict first order. Merge.kif 16347-16352

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23040-23048
No TPTP formula. May not be expressible in strict first order. Merge.kif 15871-15883


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