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 22239-22245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22234-22237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22233-22233 职业角色 是 身分 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22146-22146 商务人士 是 职业角色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22361-22361 外交官 是 职业角色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22411-22411 政府人 是 职业角色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22458-22458 军人 是 职业角色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22448-22448 店老板 是 职业角色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8273-8273 体力劳动 是 职业角色 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22274-22274 OccupationalDomain 是 职业角色 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8258-8258 熟练的职业 是 职业角色 的 subclass
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. domainEnglishFormat.kif 41601-41601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41600-41600
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 22247-22251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22259-22272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22253-22257


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