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 | 过程 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1303-1303 | AddToCart 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1457-1457 | Checkout 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1587-1587 | WatchItem 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7928-7928 | LargeGroupProcess 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23764-23764 | 引起幸福 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23785-23785 | 导致不快乐 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30026-30026 | BreakingRecord 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1319-1319 | 内容承载过程 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1633-1633 | 双受体过程 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1646-1646 | SingleAgentProcess 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10482-10482 | 自然过程 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10486-10486 | 有意图过程 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11013-11013 | 运动 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12592-12592 | 内部变化 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 164-164 | AgentPatientProcess 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2063-2063 | 发电 是 过程 的 subclass |