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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - orgStaff
orgStaff

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


(documentation orgStaff EnglishLanguage "(orgStaff ?ORG ?POS) means that Agent ?ORG employs Human with Attribute ?POS") Hotel.kif 596-597
(domain orgStaff 1 Agent) Hotel.kif 600-600
(domain orgStaff 2 RelationalAttribute) Hotel.kif 601-601
(instance orgStaff BinaryPredicate) Hotel.kif 595-595

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


(format ChineseLanguage orgStaff "%1 有 staff %2 ") domainEnglishFormat.kif 4047-4047
(format ChineseTraditionalLanguage orgStaff "%1 有 staff %2 ") domainEnglishFormat.kif 4046-4046
(format EnglishLanguage orgStaff "%1 has staff %2") domainEnglishFormat.kif 4045-4045
(termFormat EnglishLanguage orgStaff "organization staff") Hotel.kif 598-598

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


(=>
    (orgStaff ?AGENT ?POS)
    (exists (?H)
        (and
            (employs ?AGENT ?H)
            (attribute ?H ?POS))))
Hotel.kif 603-608


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners