No TPTP formula. May not be expressible in strict first order.	Media.kif 2263-2263	codeMapping 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16829-16829	colleague 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18361-18361	注释 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Communications.kif 132-132	区域通信卫星 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3366-3366	补偿方案 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 550-550	复利 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2582-2582	机率 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3991-3991	赋予规范 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17453-17453	授予执行任务 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17432-17432	赋予权利 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 24-24	connectedBodyPartTypes 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9528-9528	连接 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16158-16158	连接工程子组件 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1070-1070	contestEntry 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 875-875	contestObject 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1094-1094	contestParticipantRepresentation 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 494-494	contractedRentalPrice 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 16-16	contraryAttributeWRT 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 115-115	corkageFee 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 456-456	counselInCase 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3816-3816	courseWRT罗盘北 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3784-3784	courseWRT北磁 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3721-3721	courseWRT 真北 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3870-3870	每期积分 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3638-3638	期间货币汇率 是 三元谓语 的 instance
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