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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20240-20242
(externalImage Deacon "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Orthodox_Deacon.jpg") pictureList.kif 4641-4641
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20238-20238
(subAttribute Deacon PartTimePosition) Mid-level-ontology.kif 20239-20239

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


(termFormat ChineseLanguage Deacon "执事") domainEnglishFormat.kif 18717-18717
(termFormat ChineseTraditionalLanguage Deacon "執事") domainEnglishFormat.kif 18716-18716
(termFormat EnglishLanguage Deacon "deacon") domainEnglishFormat.kif 18715-18715

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 20252-20261
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))
Mid-level-ontology.kif 20244-20250


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