subjectiveAttribute |
appearance as argument number 1 |
(documentation subjectiveAttribute EnglishLanguage "(subjectiveAttribute ?ENTITY ?ATTR ?AGENT) means that ?AGENT attaches ?ATTR to ?ENTITY") | Dining.kif 310-311 | |
(domain subjectiveAttribute 1 Entity) | Dining.kif 313-313 | Die Zahl 1 Argument von subjectiveAttribute ist ein fall von Entity %n{nicht} |
(domain subjectiveAttribute 2 Attribute) | Dining.kif 314-314 | Die Zahl 2 Argument von subjectiveAttribute ist ein fall von Attribute %n{nicht} |
(domain subjectiveAttribute 3 AutonomousAgent) | Dining.kif 315-315 | Die Zahl 3 Argument von subjectiveAttribute ist ein fall von AutonomousAgent %n{nicht} |
(instance subjectiveAttribute TernaryPredicate) | Dining.kif 312-312 | subjectiveAttribute ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage subjectiveAttribute "%3 believes %1 是 %2 ") | domainEnglishFormat.kif 4690-4690 | |
(format ChineseTraditionalLanguage subjectiveAttribute "%3 believes %1 是 %2 ") | domainEnglishFormat.kif 4689-4689 | |
(format EnglishLanguage subjectiveAttribute "%3 believes %1 is %2") | domainEnglishFormat.kif 4688-4688 | |
(termFormat EnglishLanguage subjectiveAttribute "subjective attribute") | Dining.kif 316-316 |
antecedent |
consequent |