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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanChild
HumanChild(人类的孩子)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 277-278
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3128-3128
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3130-3130
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3129-3129
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3125-3125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2966-2966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3127-3127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 276-276 人类的孩子人类青年subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 350-350 男孩人类的孩子subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 361-361 女孩人类的孩子subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 372-372 人类宝贝人类的孩子subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28857-28857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28856-28856
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28855-28855

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 840-847
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1890-1900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 365-370
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 354-359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 280-284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 301-309

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 311-318
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2535-2553
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2626-2635
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2903-2914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1029-1035
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4816-4833
No TPTP formula. May not be expressible in strict first order. Dining.kif 987-995
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1872-1881


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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