|
|
  Scientist
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 347-347 | |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 346-346 | Scientist is an instance of profession |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 353-353 | Actuary is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 362-362 | Anthropologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 370-370 | Archeologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 385-385 | Astronomer is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 393-393 | Biologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 614-614 | Botanist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 401-401 | Chemist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 409-409 | Computer scientist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 417-417 | Economist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 468-468 | Geographer is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 476-476 | Geologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 561-561 | Librarian is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 491-491 | Linguist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 506-506 | Medical researcher is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 516-516 | Paleontologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 545-545 | Physicist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 553-553 | Political scientist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 531-531 | Psychologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 576-576 | Sociologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 598-598 | Veterinarian is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 606-606 | Zoologist is a subattribute of scientist |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65448-65448 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 348-350 |
|
|
|