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 15365-15366 | |
(domain partyToAgreement 1 CognitiveAgent) | Mid-level-ontology.kif 15369-15369 | Le nombre 1 argument de partyToAgreement est une instance de agent cognitif |
(domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 15370-15370 | Le nombre 2 argument de partyToAgreement est une instance de Agreement |
(instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 15364-15364 | partyToAgreement est une instance de pr�dicat binaire |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |