partyToAgreement |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15365-15366 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15369-15369 | The number 1 argument of party to agreement is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15370-15370 | The number 2 argument of party to agreement is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15364-15364 | party to agreement is an instance of binary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1911-1911 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1910-1910 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1909-1909 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 230-230 | account at is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 249-249 | account holder is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1314-1314 | borrower is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3822-3822 | financial account is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1300-1300 | lender is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | option holder is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2613-2613 | option seller is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44618-44618 | option seller is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44617-44617 | option seller is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44616-44616 | option seller is a subrelation of party to agreement |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3277-3283 | An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15443-15448 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1178-1187 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31560-31574 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23129-23134 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 153-160 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2075-2080 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 513-526 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22440-22453 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15343-15349 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15541-15547 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15554-15563 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15569-15578 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1489-1497 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15591-15600 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3101-3103 |
|
![]() |
![]() |