agreementClause |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14311-14314 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14317-14317 | 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 14318-14318 | 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 14319-14319 | 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 14320-14320 | 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 14310-14310 | 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 2718-2718 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2717-2717 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2716-2716 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14315-14315 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14322-14327 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14350-14356 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14341-14348 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14329-14339 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 311-324 |
|
![]() |
![]() |