Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Scientist

 Sigma KEE - Scientist
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 est une instance de Profession

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Biography.kif 353-353 Actuary est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 362-362 Anthropologist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 370-370 Archeologist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 385-385 Astronomer est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 393-393 Biologist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 614-614 Botanist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 401-401 Chemist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 409-409 ComputerScientist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 417-417 Economist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 468-468 Geographer est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 476-476 Geologist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 561-561 Librarian est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 491-491 Linguist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 506-506 MedicalResearcher est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 516-516 Paleontologist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 545-545 Physicist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 553-553 PoliticalScientist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 531-531 Psychologist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 576-576 Sociologist est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 598-598 Veterinarian est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 606-606 Zoologist est un sous-attribut de 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners