No TPTP formula. May not be expressible in strict first order.	Merge.kif 18394-18394	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 8663-8663	分函数 的所得值 是 分钟 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8595-8595	月函数 的所得值 是 月 的 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 20488-20488	职业 的所得值 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17884-17884	操作 的所得值 是 过程 的 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 6350-6350	PainFn 的所得值 是 痛 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6323-6323	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 14663-14663	期刊编号函数 的所得值 是 期刊 的 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 8992-8992	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 8468-8468	重复发生时间函数 的所得值 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8690-8690	秒函数 的所得值 是 秒钟 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13512-13512	SenseImpairmentFn 的所得值 是 病理过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13532-13532	SenseInabilityFn 的所得值 是 病理过程 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14618-14618	系列编号函数 的所得值 是 文本 的 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