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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OccupationalRole

 Sigma KEE - OccupationalRole
OccupationalRole(職業角色)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22292-22298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22287-22290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22286-22286 子類 職業角色 and SocialRole

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22199-22199 例 商務人士 and 職業角色
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22414-22414 例 外交官 and 職業角色
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22464-22464 例 政府人 and 職業角色
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22511-22511 例 軍人 and 職業角色
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22501-22501 例 店老闆 and 職業角色
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8301-8301 子類 體力勞動 and 職業角色
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22327-22327 子類 OccupationalDomain and 職業角色
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8286-8286 子類 熟練的職業 and 職業角色
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41604-41604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41603-41603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41602-41602
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 451-451
No TPTP formula. May not be expressible in strict first order. terms-it.txt 454-454
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 456-456
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 490-490
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 455-455

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22300-22304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22312-22325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22306-22310


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