No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3938-3938	域子類 銀行賬戶, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	WMD.kif 914-914	域子類 生化劑解毒劑, 2 and BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 915-915	域子類 生化劑解毒劑, 3 and Process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 782-782	域子類 生化劑遞送, 1 and 生化劑
No TPTP formula. May not be expressible in strict first order.	WMD.kif 783-783	域子類 生化劑遞送, 2 and Process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 761-761	域子類 生化藥物綜合症, 1 and 生化劑
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2612-2612	域子類 棲息地的生物指示器, 2 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	WMD.kif 970-970	域子類 生物製劑載體, 1 and 生物製劑
No TPTP formula. May not be expressible in strict first order.	WMD.kif 971-971	域子類 生物製劑載體, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24232-24232	域子類 生日, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13815-13815	域子類 沸點, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 359-359	域子類 businessHours, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 211-211	域子類 口徑, 1 and 槍
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 351-351	域子類 可以操作, 1 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 352-352	域子類 可以操作, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3902-3902	域子類 能力, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 917-917	域子類 capabilityDuring, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 920-920	域子類 capabilityDuring, 4 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2687-2687	域子類 能夠在位置, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1529-1529	域子類 期間面積的資本支出, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1037-1037	域子類 貨物類型, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 48-48	域子類 catalogItem, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3801-3801	域子類 導致子類, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3802-3802	域子類 導致子類, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 665-665	域子類 checkInTime, 2 and TimePoint
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