|
|
  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 是 职业 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 353-353 | 精算师 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 362-362 | 人类学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 370-370 | 考古学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 385-385 | 天文学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 393-393 | 生物学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 614-614 | 植物学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 401-401 | 化学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 409-409 | 电脑科学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 417-417 | Economist 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 468-468 | Geographer 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 476-476 | Geologist 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 561-561 | Librarian 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 491-491 | Linguist 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 506-506 | MedicalResearcher 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 516-516 | 古生物学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 545-545 | 物理学家 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 553-553 | PoliticalScientist 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 531-531 | Psychologist 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 576-576 | Sociologist 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 598-598 | Veterinarian 是 Scientist 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 606-606 | Zoologist 是 Scientist 的 subAttribute |
| 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 |
|
|
|