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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Profession
Profession

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8316-8316 Profession e' disjunto de OccupationalTrade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8317-8318
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8315-8315 Profession e' uma sub-classe de SkilledOccupation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21130-21130 Accountant e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 352-352 Actuary e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 361-361 Anthropologist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 369-369 Archeologist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 377-377 Architect e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 384-384 Astronomer e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20994-20994 Attorney e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 392-392 Biologist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 613-613 Botanist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 400-400 Chemist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3831-3831 Chiropractor e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20912-20912 Cleric e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 408-408 ComputerScientist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18902-18902 Dentist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 416-416 Economist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 424-424 Engineer e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 467-467 Geographer e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 475-475 Geologist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 483-483 Historian e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18977-18977 Journalist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20993-20993 Lawyer e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 560-560 Librarian e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 490-490 Linguist e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Biography.kif 498-498 Mathematician e' uma instancia de Profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21059-21059 MedicalDoctor e' uma instancia de 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 8320-8329


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