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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - occupation
occupation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16953-16956
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16958-16958 The number 1 argument of occupation is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16959-16959 The number 2 argument of occupation is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16957-16957 occupation is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1823-1823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1822-1822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1821-1821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41581-41581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41580-41580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41579-41579

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15460-15466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17050-17054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17084-17088
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 128-130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15494-15498
No TPTP formula. May not be expressible in strict first order. Dining.kif 782-785


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