Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Deacon

Sigma KEE - Deacon
Deacon(執事)

appearance as argument number 1
-------------------------


(documentation Deacon EnglishLanguage "Any Position within a ReligiousOrganization that is held by a layman, which is part-time, and which involves assisting a Cleric.") Mid-level-ontology.kif 20899-20901
(externalImage Deacon "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Orthodox_Deacon.jpg") pictureList.kif 4640-4640
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20897-20897 執事 and 宗教立場
(subAttribute Deacon PartTimePosition) Mid-level-ontology.kif 20898-20898 子屬性 執事 and 兼職職位

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


(termFormat ChineseLanguage Deacon "执事") domainEnglishFormat.kif 18726-18726
(termFormat ChineseTraditionalLanguage Deacon "執事") domainEnglishFormat.kif 18725-18725
(termFormat EnglishLanguage Deacon "deacon") domainEnglishFormat.kif 18724-18724

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (and
            (occupiesPosition ?PERSON Deacon ?ORG)
            (instance ?ORG ReligiousOrganization)))
    (exists (?C)
        (holdsDuring ?TIME
            (and
                (occupiesPosition ?C Cleric ?ORG)
                (subordinateInOrganization ?ORG ?PERSON ?C)))))
Mid-level-ontology.kif 20911-20920
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))
Mid-level-ontology.kif 20903-20909


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