No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26329-26340 |
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 the proposition is equal to the other proposition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14072-14077 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1029-1038 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 957-966 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16842-16851 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29639-29653 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12715-12728 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10840-10848 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6429-6439 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10863-10870 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2181-2191 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2169-2179 |
|
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 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2512-2528 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2489-2505 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3018-3023 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16227-16239 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26299-26315 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4589-4593 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4031-4036 |
|
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 13862-13869 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 909-916 |
|
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 |