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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Profession

 Sigma KEE - Profession
Profession(职业)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8289-8289 职业 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8290-8291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8288-8288 职业 是 熟练的职业 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21103-21103 会计 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 352-352 精算师 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 361-361 人类学家 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 369-369 考古学家 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 377-377 建筑师 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 384-384 天文学家 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20967-20967 律师 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 392-392 生物学家 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 613-613 植物学家 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 400-400 化学家 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3831-3831 Chiropractor 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20885-20885 牧师 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 408-408 电脑科学家 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18875-18875 牙医 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 416-416 Economist 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 424-424 工程师 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 467-467 Geographer 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 475-475 Geologist 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 483-483 Historian 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18950-18950 记者 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20966-20966 Lawyer 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 560-560 Librarian 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 490-490 Linguist 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 498-498 Mathematician 是 职业 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21032-21032 医生 是 职业 的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8293-8302


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