No TPTP formula. May not be expressible in strict first order.	Merge.kif 13491-13491	ImpairmentFn 的 1 数量 是 生理过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2000-2000	InfectionFn 的 1 数量 是 微生物 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 400-400	InjuryCausedFn 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2599-2599	JuiceOfFn 的 1 数量 是 水果或蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18393-18393	MakingFn 的 1 数量 是 制作 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6321-6321	MeasuringProcessFn 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8662-8662	分函数 的 2 数量 是 小时 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8593-8593	月函数 的 1 数量 是 月 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8594-8594	月函数 的 2 数量 是 年 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1521-1521	网路通信功能 的 1 数量 是 计算机网络 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5249-5249	OrganicObjectFn 的 1 数量 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14661-14661	期刊编号函数 的 1 数量 是 期刊 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3352-3352	PlantFn 的 1 数量 是 植物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	PlayingInstrumentFn 的 1 数量 是 设备 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1359-1359	PressingKeyFn 的 1 数量 是 ComputerKeyboardKey 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8991-8991	QuarterFn 的 2 数量 是 年 的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 186-186	ReceivingAnObjectFn 的 1 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8466-8466	重复发生时间函数 的 1 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8467-8467	重复发生时间函数 的 2 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8689-8689	秒函数 的 2 数量 是 分钟 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13511-13511	SenseImpairmentFn 的 1 数量 是 感知 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13531-13531	SenseInabilityFn 的 1 数量 是 感知 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14616-14616	系列编号函数 的 1 数量 是 系列 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2887-2887	短缺 的 1 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9396-9396	时间分拆函数 的 2 数量 是 时距 的 subclass
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