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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deacon
Deacon(deacon)
Protestant_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 21988-21990
(externalImage Deacon "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Orthodox_Deacon.jpg") pictureList.kif 4639-4639
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 21986-21986 Deacon is an instance of religious position
(subAttribute Deacon PartTimePosition) Mid-level-ontology.kif 21987-21987 Deacon is a subattribute of part timer

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


(termFormat ChineseLanguage Deacon "执事") domainEnglishFormat.kif 18741-18741
(termFormat ChineseTraditionalLanguage Deacon "執事") domainEnglishFormat.kif 18740-18740
(termFormat EnglishLanguage Deacon "deacon") domainEnglishFormat.kif 18739-18739

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 22000-22009
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))
Mid-level-ontology.kif 21992-21998


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