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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Profession
Profession(profession)arboriculturist, arithmetician, army_officer, bookman, craniologist, fingerprint_expert, fingerprint_man, fingerprint_specialist, forester, genealogist, interpreter, mechanical_engineer, oncologist, phrenologist, pilot, profession, professional, professional_person, prosthetist, scholar, scholarly_person, student, translator, tree_farmer

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8289-8289 Profession is disjoint from occupational trade
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 Profession is a subclass of skilled occupation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21103-21103 Accountant is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 352-352 Actuary is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 361-361 Anthropologist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 369-369 Archeologist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 377-377 Architect is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 384-384 Astronomer is an instance of profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20967-20967 Attorney is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 392-392 Biologist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 613-613 Botanist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 400-400 Chemist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3831-3831 Chiro is an instance of profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20885-20885 Cleric is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 408-408 Computer scientist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18875-18875 Dentist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 416-416 Economist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 424-424 Engineer is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 467-467 Geographer is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 475-475 Geologist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 483-483 Historian is an instance of profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18950-18950 Journalist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20966-20966 Lawyer is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 560-560 Librarian is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 490-490 Linguist is an instance of profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 498-498 Mathematician is an instance of profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21032-21032 Medical doctor is an instance of profession

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 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