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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalProcess
IntentionalProcess(有意图过程)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2930-2931
No TPTP formula. May not be expressible in strict first order. Merge.kif 10488-10489
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1681-1682
No TPTP formula. May not be expressible in strict first order. Merge.kif 10486-10486 有意图过程过程subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10164-10164 自主过程 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18235-18235 做梦 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 11191-11191 地质过程 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 10484-10484 自然过程 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19983-19983 发抖 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 11198-11198 天气过程 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 422-422 开始 的所得值 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 436-436 的所得值 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11139-11139 走动有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7920-7920 Ceremony有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15882-15882 Commenting有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12671-12671 内容制作有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13859-13859 犯罪行为有意图过程subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 675-675 部署大规模杀伤性武器有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10850-10850 设计有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18007-18007 挖掘有意图过程subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 731-731 拆除大规模杀伤性武器有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 446-446 躲着有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18094-18094 钻孔有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13118-13118 回避有意图过程subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1197-1197 工程师子流程有意图过程subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2489-2489 疏散有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11607-11607 引导有意图过程subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1310-1310 IT流程有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10512-10512 有意图的心理过程有意图过程subclass

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. Mid-level-ontology.kif 20488-20488 职业 的 1 数量 是 有意图过程instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4514-4514 FailureFn 的 1 数量 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Law.kif 369-369 distrusts 的 3 数量 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7369-7369 享受 的 2 数量 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21365-21365 有职业 的 2 数量 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 1643-1643 行业服务类型 的 2 数量 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 1661-1661 组织服务类型 的 2 数量 是 有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Law.kif 358-358 trusts 的 3 数量 是 有意图过程subclass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10404-10410
No TPTP formula. May not be expressible in strict first order. Merge.kif 10491-10496
No TPTP formula. May not be expressible in strict first order. Merge.kif 10505-10510
No TPTP formula. May not be expressible in strict first order. Law.kif 526-540
No TPTP formula. May not be expressible in strict first order. Merge.kif 2732-2738
No TPTP formula. May not be expressible in strict first order. Law.kif 573-588
No TPTP formula. May not be expressible in strict first order. Law.kif 554-571
No TPTP formula. May not be expressible in strict first order. Law.kif 515-524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14149-14163
No TPTP formula. May not be expressible in strict first order. Merge.kif 10498-10503

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6447-6459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30242-30253
No TPTP formula. May not be expressible in strict first order. Merge.kif 12046-12062
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12026
No TPTP formula. May not be expressible in strict first order. Dining.kif 711-724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19828-19837
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2336-2346
No TPTP formula. May not be expressible in strict first order. naics.kif 10451-10461
No TPTP formula. May not be expressible in strict first order. Music.kif 1084-1092
No TPTP formula. May not be expressible in strict first order. Music.kif 889-898
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5215-5224
No TPTP formula. May not be expressible in strict first order. Medicine.kif 441-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 2740-2746
No TPTP formula. May not be expressible in strict first order. WMD.kif 239-244
No TPTP formula. May not be expressible in strict first order. Food.kif 2832-2839
No TPTP formula. May not be expressible in strict first order. Merge.kif 1072-1078
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1994-2006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26250-26260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27047-27069
No TPTP formula. May not be expressible in strict first order. Food.kif 319-324
No TPTP formula. May not be expressible in strict first order. Media.kif 1336-1350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26695-26701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16502-16508
No TPTP formula. May not be expressible in strict first order. Music.kif 1165-1172


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