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

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


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

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


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


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