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 The number 1 argument of organization staff is an instance of agent
(domain orgStaff 2 RelationalAttribute) Hotel.kif 601-601 The number 2 argument of organization staff is an instance of relational attribute
(instance orgStaff BinaryPredicate) Hotel.kif 595-595 organization staff is an instance of binary predicate

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