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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NuclearFamily

 Sigma KEE - NuclearFamily
NuclearFamily(核心家庭)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23181-23184
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4788-4788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23178-23178 核心家庭 是 家族群组 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23179-23179 核心家庭 是 社会单位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41361-41361
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41360-41360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41359-41359

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


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


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