agreementClause |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15432-15435 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15438-15438 | The number 1 argument of agreement clause is an instance of proposition |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15439-15439 | The number 2 argument of agreement clause is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15440-15440 | The number 3 argument of agreement clause is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15441-15441 | The number 4 argument of agreement clause is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15431-15431 | agreement clause is an instance of quaternary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2722-2722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2721-2721 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2720-2720 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15436-15436 |
antecedent |
![]() |
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. | Mid-level-ontology.kif 15471-15477 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15462-15469 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15450-15460 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 311-324 |
|
![]() |
![]() |