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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanAdult

Sigma KEE - HumanAdult
HumanAdult(human adult)
adult, grownup

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 185-186
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2965-2965
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3122-3122
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3119-3119
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3120-3120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 180-180 Human adult is a subclass of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 183-183 Human adult is a subclass of legal agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28829-28829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28828-28828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28827-28827

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 206-212
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1270-1278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 188-194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 222-226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 196-204

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 214-220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 228-234
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2883-2892
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2925-2940


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