(=>
(and
(or
(instance ?ROLE OccupationalTrade)
(instance ?ROLE Profession))
(holdsDuring ?T1
(attribute ?HUMAN ?ROLE)))
(exists (?FIELD)
(and
(subclass ?FIELD FieldOfStudy)
(holdsDuring ?T1
(hasExpertise ?HUMAN ?FIELD))))) |
Mid-level-ontology.kif 9653-9662 |
If X is an instance of occupational trade or X is an instance of profession and X is an attribute of Y holds during Z, then there exists W such that W is a subclass of field of study and W has an expertise in Y holds during Z |
(=>
(attribute ?P Researcher)
(exists (?S)
(and
(subclass ?S Science)
(hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 20833-20838 |
If researcher is an attribute of X, then there exists Y such that Y is a subclass of science and Y has an expertise in X |
(=>
(attribute ?P Lawyer)
(hasExpertise ?P FieldOfLaw)) |
Mid-level-ontology.kif 23215-23217 |
If lawyer is an attribute of X, then field of law has an expertise in X |
(=>
(attribute ?PERSON Scientist)
(hasExpertise ?PERSON Science)) |
Biography.kif 356-358 |
If scientist is an attribute of X, then science has an expertise in X |
(=>
(attribute ?PERSON Actuary)
(hasExpertise ?PERSON ActuaryScience)) |
Biography.kif 365-367 |
If actuary is an attribute of X, then actuarial science has an expertise in X |
(=>
(attribute ?PERSON Anthropologist)
(hasExpertise ?PERSON Anthropology)) |
Biography.kif 373-375 |
If anthropologist is an attribute of X, then anthropology has an expertise in X |
(=>
(attribute ?PERSON Archeologist)
(hasExpertise ?PERSON Archeology)) |
Biography.kif 381-383 |
If archeologist is an attribute of X, then archeology has an expertise in X |
(=>
(attribute ?PERSON Architect)
(hasExpertise ?PERSON Architecture)) |
Biography.kif 388-390 |
If architect is an attribute of X, then architecture has an expertise in X |
(=>
(attribute ?PERSON Astronomer)
(hasExpertise ?PERSON Astronomy)) |
Biography.kif 396-398 |
If astronomer is an attribute of X, then astronomy has an expertise in X |
(=>
(attribute ?PERSON Biologist)
(hasExpertise ?PERSON Biology)) |
Biography.kif 404-406 |
If biologist is an attribute of X, then biology has an expertise in X |
(=>
(attribute ?PERSON Chemist)
(hasExpertise ?PERSON Chemistry)) |
Biography.kif 412-414 |
If chemist is an attribute of X, then chemistry has an expertise in X |
(=>
(attribute ?PERSON ComputerScientist)
(hasExpertise ?PERSON ComputerScience)) |
Biography.kif 420-422 |
If computer scientist is an attribute of X, then computer science has an expertise in X |
(=>
(attribute ?PERSON Economist)
(hasExpertise ?PERSON Economics)) |
Biography.kif 428-430 |
If economist is an attribute of X, then economics has an expertise in X |
(=>
(attribute ?PERSON Engineer)
(hasExpertise ?PERSON Engineering)) |
Biography.kif 435-437 |
If engineer is an attribute of X, then engineering has an expertise in X |
(=>
(attribute ?PERSON Geographer)
(hasExpertise ?PERSON Geography)) |
Biography.kif 479-481 |
If geographer is an attribute of X, then geography has an expertise in X |
(=>
(attribute ?PERSON Geologist)
(hasExpertise ?PERSON Geology)) |
Biography.kif 487-489 |
If geologist is an attribute of X, then geology has an expertise in X |
(=>
(attribute ?PERSON Historian)
(hasExpertise ?PERSON History)) |
Biography.kif 494-496 |
If historian is an attribute of X, then history has an expertise in X |
(=>
(attribute ?PERSON Linguist)
(hasExpertise ?PERSON Linguistics)) |
Biography.kif 502-504 |
If linguist is an attribute of X, then linguistics has an expertise in X |
(=>
(attribute ?PERSON Mathematician)
(hasExpertise ?PERSON Mathematics)) |
Biography.kif 509-511 |
If mathematician is an attribute of X, then mathematics has an expertise in X |
(=>
(attribute ?PERSON MedicalResearcher)
(and
(attribute ?PERSON Researcher)
(hasExpertise ?PERSON MedicalScience))) |
Biography.kif 517-521 |
If medical researcher is an attribute of X, then researcher is an attribute of X and medical science has an expertise in X |
(=>
(attribute ?PERSON Paleontologist)
(hasExpertise ?PERSON Paleontology)) |
Biography.kif 527-529 |
If paleontologist is an attribute of X, then paleontology has an expertise in X |
(=>
(attribute ?PERSON Philosopher)
(hasExpertise ?PERSON Philosophy)) |
Biography.kif 534-536 |
If philosopher is an attribute of X, then philosophy has an expertise in X |
(=>
(attribute ?PERSON Psychologist)
(hasExpertise ?PERSON Psychology)) |
Biography.kif 543-545 |
If psychologist is an attribute of X, then psychology has an expertise in X |
(=>
(attribute ?PERSON Physicist)
(hasExpertise ?PERSON Physics)) |
Biography.kif 556-558 |
If physicist is an attribute of X, then physics has an expertise in X |
(=>
(attribute ?PERSON PoliticalScientist)
(hasExpertise ?PERSON PoliticalScience)) |
Biography.kif 564-566 |
If political scientist is an attribute of X, then political science has an expertise in X |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
