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 22985-22986
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22983-22983	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 22984-22984	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 22982-22982	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 27550-27550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27549-27549
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27548-27548

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22817-22826	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 22988-22995	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 9517-9526	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 22607-22609	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 20484-20489	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 365-367	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 373-375	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 381-383	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 388-390	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 396-398	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 404-406	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 625-627	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 412-414	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 420-422	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 428-430	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 435-437	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 479-481	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 487-489	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 494-496	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 572-574	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 502-504	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 509-511	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 517-521	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 527-529	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 534-536	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 556-558	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 564-566	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: