No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 130-137 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 88-93 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21066-21080 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3482-3509 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3910-3916 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18401-18406 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23260-23267 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1622-1622 |
Processo e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1303-1303 |
AddToCart e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1457-1457 |
Checkout e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1587-1587 |
WatchItem e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7928-7928 |
LargeGroupProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23764-23764 |
CausingHappiness e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23785-23785 |
CausingUnhappiness e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30026-30026 |
BreakingRecord e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1319-1319 |
ContentBearingProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1633-1633 |
Processo Dual e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1646-1646 |
SingleAgentProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10482-10482 |
NaturalProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10486-10486 |
Processo Intencional e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11013-11013 |
Movimento e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12592-12592 |
Mudanca Interna e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 164-164 |
AgentPatientProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2063-2063 |
PowerGeneration e' uma sub-classe de Processo |