|
|
   Profession
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8288-8288 | Profession e' disjunto de OccupationalTrade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8289-8290 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8287-8287 | 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 21102-21102 | 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 20966-20966 | 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 20884-20884 | 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 18874-18874 | 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 18949-18949 | Journalist e' uma instancia de Profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20965-20965 | 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 21031-21031 | 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 8292-8301 |
|
|
|
|