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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Process

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 1571-1579
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6795-6795
No TPTP formula. May not be expressible in strict first order. Merge.kif 1570-1570 过程物理subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2585-2585 SEO过程instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2412-2412 中止range过程 的实例
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4478-4478 FailureFn 的所得值 是 过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17356-17356 操作 的所得值 是 过程subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1500-1500 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 29530-29530 BreakingRecord过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23313-23313 引起幸福过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23334-23334 导致不快乐过程subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1664-1664 Checkout过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1280-1280 内容承载过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1581-1581 双受体过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10404-10404 有意图过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12369-12369 内部变化过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7643-7643 LargeGroupProcess过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10896-10896 运动过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10400-10400 自然过程过程subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2074-2074 发电过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1594-1594 SingleAgentProcess过程subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1794-1794 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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2411-2411 中止 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 416-416 开始 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 430-430 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Law.kif 593-593 ageOfMajorityForProcess 的 3 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2381-2381 主事 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22444-22444 得益 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3705-3705 引起 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3706-3706 引起 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15404-15404 commentator 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3036-3036 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 2392-2392 终点 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16685-16685 方向 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4014-4014 eventPartlyLocated 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4539-4539 exclusiveEvent 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2406-2406 经历者 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4034-4034 experimentalControlProcess 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4081-4081 experimentalVariableProcess 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4309-4309 hinders 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 工具 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2362-2362 参与活动 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Law.kif 236-236 judge 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1680-1680 形式 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2430-2430 源头 的 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 22784-22790
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 17836-17841
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 15387-15400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2509-2517
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4563-4580
No TPTP formula. May not be expressible in strict first order. Merge.kif 7422-7426
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 23038-23043
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. Geography.kif 2564-2570
No TPTP formula. May not be expressible in strict first order. Merge.kif 3837-3843
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4704-4721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4060-4071
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4177-4188
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4450-4473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30813-30820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30822-30829
No TPTP formula. May not be expressible in strict first order. Geography.kif 2283-2293
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 2515-2529
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4132-4143
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4704-4721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29534-29564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26459-26485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16037-16049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30813-30820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30822-30829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20470-20484
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4631-4636
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4638-4643
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2773-2780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 965-973
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4551-4561
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30211-30231
No TPTP formula. May not be expressible in strict first order. Merge.kif 1176-1184
No TPTP formula. May not be expressible in strict first order. Food.kif 54-63
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18080-18092
No TPTP formula. May not be expressible in strict first order. Geography.kif 5928-5937
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2806-2815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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