partyToAgreement |
appearance as argument number 1 |
(documentation partyToAgreement EnglishLanguage "(partyToAgreement ?AGENT ?PROP) means that the AutonomousAgent ?AGENT has committed to the agreement ?PROP.") | Mid-level-ontology.kif 13994-13995 | |
(domain partyToAgreement 1 CognitiveAgent) | Mid-level-ontology.kif 13998-13998 | Die Zahl 1 Argument von partyToAgreement ist ein fall von CognitiveAgent %n{nicht} |
(domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 13999-13999 | Die Zahl 2 Argument von partyToAgreement ist ein fall von Agreement %n{nicht} |
(instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 13993-13993 | partyToAgreement ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
antecedent |
consequent |