No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24266-24267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24268-24268 |
The number 1 argument of weddingdate is an instance of human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24269-24269 |
The number 2 argument of weddingdate is an instance of human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24270-24270 |
The number 3 argument of weddingdate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24271-24271 |
weddingdate is an instance of ternary predicate |