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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanAdult
HumanAdult(human adult)
adult, grownup, human_adult, 人类成人, 人類成人

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 323-324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2965-2965 "http://upload.wikimedia.org/wikipedia/commons/6/68/ Photoshooting.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3122-3122 "http://upload.wikimedia.org/wikipedia/commons/9/95/ Human_2.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3119-3119 "http://upload.wikimedia.org/wikipedia/commons/9/9e/ George_Stephanopoulos_crop.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3120-3120 "http://upload.wikimedia.org/wikipedia/commons/c/c1/ Wedding.smallgroup.arp.750pix.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 317-317 Human adult is a subclass of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 321-321 Human adult is a subclass of LegalAgent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28747-28747 "人类成人" is the printable form of human adult in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28746-28746 "人類成人" is the printable form of human adult in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28745-28745 "human adult" is the printable form of human adult in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 350-355
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1221-1229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 334-339
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 367-371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-347

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 374-380
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2825-2834
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2867-2882


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners