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 1569-1577
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 1568-1568 过程物理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 17301-17301 操作 的所得值 是 过程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 29430-29430 BreakingRecord过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23228-23228 引起幸福过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23249-23249 导致不快乐过程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 1278-1278 内容承载过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1579-1579 双受体过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10397-10397 有意图过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12360-12360 内部变化过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7601-7601 LargeGroupProcess过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10889-10889 运动过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10393-10393 自然过程过程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 1592-1592 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 17773-17773 DepartmentOfPreventingFn 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 414-414 开始 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 428-428 的 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 2379-2379 主事 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22359-22359 得益 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3703-3703 引起 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3704-3704 引起 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15353-15353 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 2390-2390 终点 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16670-16670 方向 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4012-4012 eventPartlyLocated 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4537-4537 exclusiveEvent 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2404-2404 经历者 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4032-4032 experimentalControlProcess 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4079-4079 experimentalVariableProcess 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4307-4307 hinders 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2417-2417 工具 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2360-2360 参与活动 的 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 1678-1678 形式 的 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 22699-22705
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17776-17780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17782-17791
No TPTP formula. May not be expressible in strict first order. Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15336-15349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2505-2513
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
No TPTP formula. May not be expressible in strict first order. Merge.kif 7420-7424
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 22953-22958
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 3835-3841
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4702-4719
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4058-4069
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4175-4186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4448-4471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30707-30714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30716-30723
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 97-106

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 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
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 4130-4141
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4702-4719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29432-29462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26367-26393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15986-15998
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20404-20413
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 4629-4634
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4636-4641
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 959-967
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4549-4559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30109-30129
No TPTP formula. May not be expressible in strict first order. Merge.kif 1174-1182
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 18020-18032
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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2127-2139

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