Profession
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8316-8316 | Profession is disjoint from occupational trade |
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 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 21130-21130 | 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 20994-20994 | 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 20912-20912 | 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 18902-18902 | 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 18977-18977 | Journalist is an instance of profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20993-20993 | 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 21059-21059 | 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 8320-8329 |
|