hasExpertise - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21351-21352
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21349-21349	The number 1 argument of has expertise is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21350-21350	The number 2 argument of has expertise is a subclass of field of study
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21348-21348	has expertise is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1141-1141
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1140-1140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1139-1139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27522-27522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27521-27521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27520-27520

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21183-21192	If architecture has an expertise in a human, then there exist a process, an entity and another entity such that the process is an instance of content development and the human is an agent of the process and the entity is a result of the process and the entity is an instance of blueprint and the entity expresses the other entity and the other entity is an instance of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21354-21361	If a kind of field of study has an expertise in a human, then there exist a process and a proposition such that the process is an instance of learning and the human is an agent of the process and the proposition is an instance of a kind of field of study and the process expresses the content of the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8293-8302	If an entity is an instance of occupational trade or the entity is an instance of profession and the entity is an attribute of another entity holds during a time position, then there exists a class such that the class is a subclass of field of study and the class has an expertise in the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20973-20975	If lawyer is an attribute of a human, then field of law has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18896-18901	If researcher is an attribute of a human, then there exists a kind of field of study such that a kind of field of study is a subclass of science and the kind of field of study has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 357-359	If actuary is an attribute of a human, then actuarial science has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 365-367	If anthropologist is an attribute of a human, then anthropology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 373-375	If archeologist is an attribute of a human, then archeology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 380-382	If architect is an attribute of a human, then architecture has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 388-390	If astronomer is an attribute of a human, then astronomy has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 396-398	If biologist is an attribute of a human, then biology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 617-619	If botanist is an attribute of a human, then botany has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 404-406	If chemist is an attribute of a human, then chemistry has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 412-414	If computer scientist is an attribute of a human, then computer science has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 420-422	If economist is an attribute of a human, then economics has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 427-429	If engineer is an attribute of a human, then engineering has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 471-473	If geographer is an attribute of a human, then geography has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 479-481	If geologist is an attribute of a human, then geology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 486-488	If historian is an attribute of a human, then history has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 564-566	If librarian is an attribute of a human, then Library Science has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 494-496	If linguist is an attribute of a human, then linguistics has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 501-503	If mathematician is an attribute of a human, then mathematics has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 509-513	If medical researcher is an attribute of a human, then researcher is an attribute of the human and medical science has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 519-521	If paleontologist is an attribute of a human, then paleontology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 526-528	If philosopher is an attribute of a human, then philosophy has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 548-550	If physicist is an attribute of a human, then physics has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 556-558	If political scientist is an attribute of a human, then political science has an expertise in the human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

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

KB Term:			Term intersection

English Word: