|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | 子類 壁爐 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1625-1625 | 子類 固定橋 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15321-15321 | 子類 地板 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15473-15473 | 子類 車庫 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3083-3083 | 子類 GeniusBar and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | 子類 HotelUnit and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15685-15685 | 子類 工業廠房 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15706-15706 | 子類 實驗室 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26651-26651 | 子類 Lanai and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15726-15726 | 子類 軍事裝置 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6742-6742 | 子類 礦 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6830-6830 | 子類 紀念碑 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15748-15748 | 子類 表演階段 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15767-15767 | 子類 表演舞台翼 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7029-7029 | 子類 商業地點 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15639-15639 | 子類 門廊 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | 子類 PostalPlace and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6763-6763 | 子類 監獄 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 378-378 | 子類 鐵軌 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | 子類 鐵路 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 21-21 | 子類 RecordingStudio and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15776-15776 | 子類 住宅 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15343-15343 | 子類 屋頂 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15755-15755 | 子類 Room and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25800-25800 | 子類 RunningTrack and StationaryArtifact |
| 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