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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialUnit

Sigma KEE - SocialUnit
SocialUnit(social unit)

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 Social unit is a subclass of group of people

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23231-23231 Nuclear family is a subclass of social unit
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