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 13993-13994 | |
(domain partyToAgreement 1 CognitiveAgent) | Mid-level-ontology.kif 13997-13997 | Il numero 1 argomenti di partyToAgreement è un istanza di AgenteCognitivo |
(domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 13998-13998 | Il numero 2 argomenti di partyToAgreement è un istanza di Agreement |
(instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 13992-13992 | partyToAgreement è un' istanza di PredicatoBinario |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |