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 15991-15992
No TPTP formula. May not be expressible in strict first order. Merge.kif 15990-15990 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 22602-22602 Nuclear family is a subclass of social unit
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53637-53637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53636-53636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53635-53635

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22421-22429
No TPTP formula. May not be expressible in strict first order. Merge.kif 15994-15999

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22411-22419
No TPTP formula. May not be expressible in strict first order. Merge.kif 15543-15555


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