No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26261-26272 |
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 14044-14049 |
|
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 16812-16821 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29556-29570 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12685-12698 |
|
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 6401-6411 |
|
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 16199-16211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26231-26247 |
|
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 2710-2715 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13834-13841 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 881-888 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1662-1683 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |