| 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 4050-4050 | |
| (format ChineseTraditionalLanguage orgStaff "%1 有 staff %2 ") | domainEnglishFormat.kif 4049-4049 | |
| (format EnglishLanguage orgStaff "%1 has staff %2") | domainEnglishFormat.kif 4048-4048 | |
| (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