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 e' uma instancia de Profession

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 353-353 Actuary e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 362-362 Anthropologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 370-370 Archeologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 385-385 Astronomer e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 393-393 Biologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 614-614 Botanist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 401-401 Chemist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 409-409 ComputerScientist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 417-417 Economist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 468-468 Geographer e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 476-476 Geologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 561-561 Librarian e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 491-491 Linguist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 506-506 MedicalResearcher e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 516-516 Paleontologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 545-545 Physicist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 553-553 PoliticalScientist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 531-531 Psychologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 576-576 Sociologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 598-598 Veterinarian e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. Biography.kif 606-606 Zoologist e' um sub-atributo de Scientist
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65450-65450

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