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 14922-14923 | |
(domain partyToAgreement 1 CognitiveAgent) | Mid-level-ontology.kif 14926-14926 | The number 1 argument of party to agreement is an instance of cognitive agent |
(domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 14927-14927 | The number 2 argument of party to agreement is an instance of agreement |
(instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 14921-14921 | party to agreement is an instance of binary predicate |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |