Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Process
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners