TreeView Knowledge Base Browser - Cleric

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Cleric

Cleric(牧師)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20886-20888
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4607-4607
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20884-20884	例牧師 and 職業
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20885-20885	例牧師 and 宗教立場

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15102-15102
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15101-15101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15100-15100

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 20890-20894

佔據位置 Human, 牧師 and Organization
Human 是 Organization 的 leader 例 Organization and ReligiousOrganization

consequent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	例 Process and Ordaining 患者 Process and Physical 例 Physical and Human 會員 Physical and 基督教有目的 Process and entity entity 例 entity and Ceremony 例 entity and 任命子過程 entity and entity 患者 entity and Physical appointedPosition entity, Physical and 牧師
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20910-20919	持有期間 TimePosition and 佔據位置 entity, 執事 and entity 例 entity and ReligiousOrganization entity 持有期間 TimePosition and 佔據位置 entity, 牧師 and entity entity 是對於 entity 在組織 entity 的 subordinate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20902-20908	例 Human and 執事 Organization Human 例 Organization and ReligiousOrganization 例 Human and 牧師 Organization 是對於 Human 在組織 Human 的 subordinate

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