No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26317-26328 |
Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition proposition est proposition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14071-14076 |
|
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 16864-16873 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29627-29641 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12737-12750 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10862-10870 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6428-6438 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10885-10892 |
|
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 16226-16238 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26287-26303 |
|
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 13861-13868 |
|
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 |