|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15352-15352 | 子類 壁爐 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 15320-15320 | 子類 地板 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15472-15472 | 子類 車庫 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 15684-15684 | 子類 工業廠房 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15705-15705 | 子類 實驗室 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26639-26639 | 子類 Lanai and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15725-15725 | 子類 軍事裝置 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6741-6741 | 子類 礦 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6829-6829 | 子類 紀念碑 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15747-15747 | 子類 表演階段 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15766-15766 | 子類 表演舞台翼 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7028-7028 | 子類 商業地點 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15638-15638 | 子類 門廊 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | 子類 PostalPlace and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6762-6762 | 子類 監獄 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 15798-15798 | 子類 住宅 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15342-15342 | 子類 屋頂 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | 子類 Room and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25788-25788 | 子類 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