Profession
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8289-8289 | Profession est disjoint de OccupationalTrade |
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 est une sous-classe de SkilledOccupation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21103-21103 | Accountant est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 352-352 | Actuary est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 361-361 | Anthropologist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 369-369 | Archeologist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 377-377 | Architect est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 384-384 | Astronomer est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20967-20967 | Attorney est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 392-392 | Biologist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 613-613 | Botanist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 400-400 | Chemist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3831-3831 | Chiropractor est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20885-20885 | Cleric est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 408-408 | ComputerScientist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18875-18875 | Dentist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 416-416 | Economist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 424-424 | Engineer est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 467-467 | Geographer est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 475-475 | Geologist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 483-483 | Historian est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18950-18950 | Journalist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20966-20966 | Lawyer est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 560-560 | Librarian est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 490-490 | Linguist est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 498-498 | Mathematician est une instance de Profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21032-21032 | MedicalDoctor est une instance 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 8293-8302 |
|