No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2495	域 患者, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23239-23239	域 在事件中發揮作用, 3 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4367-4367	域 防止, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4597-4597	域 實現, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3768-3768	域 相關事件, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3769-3769	域 相關事件, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2511-2511	域 資源, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2530-2530	域 resourceExhausted, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2551-2551	域 結果, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1682-1682	域 結果類型, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3752-3752	域 子過程, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3753-3753	域 子過程, 2 and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4386-4386	域 successEvent, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29580-29580	域 suffers, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6790-6790	域 攻擊目標, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18395-18395	域子類 DepartmentOfPreventingFn, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 400-400	域子類 InjuryCausedFn, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6321-6321	域子類 MeasuringProcessFn, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 597-597	域子類 activityCapability, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22929-22929	域子類 責任範圍, 2 and Process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 915-915	域子類 生化劑解毒劑, 3 and Process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 783-783	域子類 生化劑遞送, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3902-3902	域子類 能力, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 917-917	域子類 capabilityDuring, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2687-2687	域子類 能夠在位置, 1 and Process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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