Awarding
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18669-18669 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18668-18668 | Awarding e' uma sub-classe de Doacao Unilateral |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18670-18670 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18672-18684 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18693-18699 |