No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6711-6713 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6706-6706 |
The number 1 argument of street address is an instance of stationary artifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6707-6707 |
The number 2 argument of street address is an instance of roadway |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6708-6708 |
The number 3 argument of street address is an instance of city |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6709-6709 |
The number 4 argument of street address is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6705-6705 |
Street address is an instance of quaternary function |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6710-6710 |
The range of street address is an instance of agent |