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 190-191
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2964-2964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3121-3121
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3118-3118
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. Mid-level-ontology.kif 185-185 Human adult is a subclass of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 188-188 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 28839-28839
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28838-28838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28837-28837

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 211-217
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. Medicine.kif 5915-5924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 193-199
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 227-231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 201-209

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 219-225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 233-239
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