No TPTP formula. May not be expressible in strict first order.	Merge.kif 3801-3801	导致子类 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3802-3802	导致子类 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 934-934	疾病治疗 的 3 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7911-7911	频率 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3980-3980	有技能 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4392-4392	hinders 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4309-4309	hindersSubclass 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4310-4310	hindersSubclass 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18367-18367	抑制 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9934-9934	pathologyTreatment 的 3 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23272-23272	在类型的事件中发挥作用 的 3 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4293-4293	先备条件 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4294-4294	先备条件 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4368-4368	阻止 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4337-4337	preventsSubclass 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4338-4338	preventsSubclass 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2784-2784	processInclusion 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22816-22816	typicalAction 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1442-1442	typicalTemporalPart 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1443-1443	typicalTemporalPart 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1482-1482	typicallyContainsTemporalPart 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1483-1483	typicallyContainsTemporalPart 的 2 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	物理 详尽无遗地 partition 成 客体 和 过程

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