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

Formal Language: 



KB Term:  Term intersection
English Word: 

  orgStaff

 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 orgStaff の数値 1 引数は AutonomousAgent の instance では %n
(domain orgStaff 2 RelationalAttribute) Hotel.kif 628-628 orgStaff の数値 2 引数は 関係属性 の instance では %n
(instance orgStaff BinaryPredicate) Hotel.kif 622-622 orgStaff は 2進述語 の instance では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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