No TPTP formula. May not be expressible in strict first order.	Merge.kif 18372-18372	MakingFn 的所得值 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6322-6322	MeasuringProcessFn 的所得值 是 测量 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6080-6080	分最短图路径函数 的所得值 是 图路径 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8641-8641	分函数 的所得值 是 分钟 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8573-8573	月函数 的所得值 是 月 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1520-1520	网路通信功能 的所得值 是 NetworkCommunication 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20489-20489	职业 的所得值 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17885-17885	操作 的所得值 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	OrganicObjectFn 的所得值 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 502-502	海外地区 的所得值 是 海外地区 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6351-6351	PainFn 的所得值 是 痛 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6324-6324	ParalysisFn 的所得值 是 麻痹 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 770-770	周边区域 的所得值 是 周边区域 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14664-14664	期刊编号函数 的所得值 是 期刊 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3353-3353	PlantFn 的所得值 是 植物 的 subclass
No TPTP formula. May not be expressible in strict first order.	Music.kif 829-829	PlayingInstrumentFn 的所得值 是 器乐 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 798-798	幂集函数 的所得值 是 集或类 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1360-1360	PressingKeyFn 的所得值 是 SingleKeyPress 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8970-8970	QuarterFn 的所得值 是 QuarterYear 的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 185-185	ReceivingAnObjectFn 的所得值 是 获得 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8446-8446	重复发生时间函数 的所得值 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8668-8668	秒函数 的所得值 是 秒钟 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13490-13490	SenseImpairmentFn 的所得值 是 病理过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13510-13510	SenseInabilityFn 的所得值 是 病理过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14619-14619	系列编号函数 的所得值 是 文本 的 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