No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28228-28239 |
A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and equal the proposition and the other proposition |
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. |
Government.kif 991-1000 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 919-928 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17017-17026 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31558-31572 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12869-12882 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10978-10986 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7366-7376 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11001-11008 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2313-2323 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2301-2311 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2546-2564 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2523-2539 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2500-2516 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3143-3148 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17614-17626 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28198-28214 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4617-4621 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4049-4054 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2702-2707 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15233-15240 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 902-909 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1654-1675 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |