|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1246-1246 | 域子類 地區氣候類型, 2 and 氣候區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1658-1658 | 域子類 地區寒冷季節, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 705-705 | 域子類 梯隊指揮等級, 1 and 軍事單位 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 603-603 | 域子類 紀念約會, 1 and 假日 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 604-604 | 域子類 紀念約會, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 134-134 | 域子類 區域通信衛星, 2 and 衛星 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 898-898 | 域子類 組件數據ID, 2 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 225-225 | 域子類 concentration, 2 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11961-11961 | 域子類 connectedBodyPart, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11962-11962 | 域子類 connectedBodyPart, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 27-27 | 域子類 connectedBodyPartTypes, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 28-28 | 域子類 connectedBodyPartTypes, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 29-29 | 域子類 connectedBodyPartTypes, 3 and Organism |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 501-501 | 域子類 contractedRentalPrice, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1638-1638 | 域子類 該地區涼爽的季節, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 120-120 | 域子類 corkageFee, 2 and Object |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3630-3630 | 域子類 貨幣兌換perUS美元, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3641-3641 | 域子類 期間貨幣匯率, 3 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3602-3602 | 域子類 貨幣價值, 1 and 貨幣 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3991-3991 | 域子類 每日限額, 2 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2556-2556 | 域子類 日期解散, 2 and TimePosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 979-979 | 域子類 建立日期, 2 and TimePosition |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3071-3071 | 域子類 日期開放供簽署, 2 and TimePosition |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 847-847 | 域子類 白天小時間隔, 2 and Day |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 857-857 | 域子類 白天的總時數, 2 and Day |
| 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