Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| orgStaff |
| appearance as argument number 1 |
|
| (instance orgStaff BinaryPredicate) | Hotel.kif 626-626 | organization staff is an instance of binary predicate |
| (documentation orgStaff EnglishLanguage "(orgStaff ?ORG ?POS) means that Agent ?ORG employs Human with Attribute ?POS") | Hotel.kif 627-628 | organization staff is an instance of binary predicate |
| (domain orgStaff 1 AutonomousAgent) | Hotel.kif 631-631 | The number 1 argument of organization staff is an instance of agent |
| (domain orgStaff 2 RelationalAttribute) | Hotel.kif 632-632 | The number 2 argument of organization staff is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage orgStaff "organization staff") | Hotel.kif 629-629 | |
| (format EnglishLanguage orgStaff "%1 has staff %2") | domainEnglishFormat.kif 4048-4048 | |
| (format ChineseTraditionalLanguage orgStaff "%1 有 staff %2 ") | domainEnglishFormat.kif 4049-4049 | |
| (format ChineseLanguage orgStaff "%1 有 staff %2 ") | domainEnglishFormat.kif 4050-4050 |
| antecedent |
|
|
| (=> (orgStaff ?AGENT ?POS) (exists (?H) (and (employs ?AGENT ?H) (attribute ?H ?POS)))) |
Hotel.kif 634-639 | If X has staff Y, then there exists Z such that X employs Z and Y is an attribute of Z |
|