Process(过程) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1698-1701 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1623-1631 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 296-301 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6794-6794 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1622-1622 | 过程 是 物理 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2375-2375 | SEO 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2413-2413 | 中止 的 range 是 过程 的实例 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4515-4515 | FailureFn 的所得值 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17885-17885 | 操作 的所得值 是 过程 的 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. | Media.kif 164-164 | AgentPatientProcess 是 过程 的 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. | 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. | UXExperimentalTerms.kif 1457-1457 | Checkout 是 过程 的 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 10486-10486 | 有意图过程 是 过程 的 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. | Mid-level-ontology.kif 7928-7928 | LargeGroupProcess 是 过程 的 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 10482-10482 | 自然过程 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2063-2063 | 发电 是 过程 的 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. | UXExperimentalTerms.kif 1587-1587 | WatchItem 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 851-851 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 904-904 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 527-527 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 58-58 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2412-2412 | 中止 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 421-421 | 开始 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 435-435 | 停 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 545-545 | ageOfMajorityForProcess 的 3 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2433-2433 | 主事 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22912-22912 | 得益 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3778-3778 | 引起 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3779-3779 | 引起 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15904-15904 | commentator 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2826-2826 | conversionEvent 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1696-1696 | coordinates 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1697-1697 | coordinates 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2444-2444 | 终点 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16938-16938 | 方向 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4096-4096 | eventPartlyLocated 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4333-4333 | exclusiveEvent 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2458-2458 | 经历者 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3825-3825 | experimentalControlProcess 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3872-3872 | experimentalVariableProcess 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4391-4391 | hinders 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2471-2471 | 工具 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2414-2414 | 参与活动 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 193-193 | judge 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1732-1732 | 形式 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2482-2482 | 源头 的 1 数量 是 过程 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23252-23258 | |
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. | Mid-level-ontology.kif 18401-18406 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 546-561 | |
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. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15887-15900 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2546-2554 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7510-7514 | |
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. | Mid-level-ontology.kif 23506-23511 | |
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. | Geography.kif 2561-2567 | |
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. | UXExperimentalTerms.kif 4501-4518 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3851-3862 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3968-3979 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4241-4267 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31316-31323 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31325-31332 | |
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. | Catalog.kif 98-107 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 88-93 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|
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 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2516-2530 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3923-3934 | |
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. | Cars.kif 3389-3417 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4501-4518 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 280-296 |
|
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. | Cars.kif 3531-3552 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16542-16554 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31316-31323 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31325-31332 | |
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. | Dining.kif 956-980 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4432-4437 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2563-2570 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 998-1006 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4345-4355 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30707-30727 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1216-1224 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1660-1669 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |