TreeView Knowledge Base Browser - occupation

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 20490-20493
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20495-20495	域佔用, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20496-20496	域子類佔用, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20494-20494	例佔用 and BinaryPredicate

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 41596-41596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41595-41595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41594-41594

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18920-18926	例 Attribute and 娛樂專業 attribute Human and Attribute 性能的 occupation 是 Human 的 occupation ContentDevelopment 的 occupation 是 Human 的 occupation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20644-20648	例 Attribute and 門警 attribute Human and Attribute 洗滌的 occupation 是 Human 的 occupation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20678-20682	例 Attribute and 電影製作專業 attribute Human and Attribute 電影製作的 occupation 是 Human 的 occupation
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 128-130	attribute Human and Valet Driving 的 occupation 是 Human 的 occupation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18954-18958	attribute Human and 記者 ContentDevelopment 的 occupation 是 Human 的 occupation Disseminating 的 occupation 是 Human 的 occupation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 829-832	attribute Human and Chef Cooking 的 occupation 是 Human 的 occupation

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