buys |
appearance as argument number 1 |
(documentation buys EnglishLanguage "(buys ?CUST ?AGENT ?ENT) means that AutonomousAgent ?CUST performs Buying of Entity ?ENT from AutonomousAgent ?AGENT") | Mid-level-ontology.kif 29939-29940 | |
(domain buys 1 CognitiveAgent) | Mid-level-ontology.kif 29947-29947 | The number 1 argument of buys is an instance of cognitive agent |
(domain buys 2 AutonomousAgent) | Mid-level-ontology.kif 29948-29948 | The number 2 argument of buys is an instance of agent |
(domain buys 3 Entity) | Mid-level-ontology.kif 29949-29949 | The number 3 argument of buys is an instance of entity |
(instance buys TernaryPredicate) | Mid-level-ontology.kif 29938-29938 | buys is an instance of ternary predicate |
appearance as argument number 2 |
(format ChineseLanguage buys "%1 buys %3 从 %2") | domainEnglishFormat.kif 2946-2946 | |
(format ChineseTraditionalLanguage buys "%1 buys %3 從 %2") | domainEnglishFormat.kif 2945-2945 | |
(format EnglishLanguage buys "%1 buys %3 from %2") | domainEnglishFormat.kif 2944-2944 | |
(termFormat EnglishLanguage buys "buys") | Mid-level-ontology.kif 29941-29941 |
antecedent |
consequent |