|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5869-5869 | 域 hazardous, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4075-4075 | 域 位於, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 645-645 | 域 managedBy, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5891-5891 | 域 海上危險, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7502-7502 | 域 測量, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1279-1279 | 域 會員, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7783-7783 | 域 貨幣價值, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 907-907 | 域 nearOrientation, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2752-2752 | 域 需求, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1438-1438 | 域 objectOfBid, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 922-922 | 域 onOrientation, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4045-4045 | 域 部分位於, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7736-7736 | 域 價錢, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14334-14334 | 域 record, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16608-16608 | 域 註冊項目, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 671-671 | 域 reservationChannel, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25576-25576 | 域 shape, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6135-6135 | 域 系統部分, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3866-3866 | 域 時間, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29918-29918 | 域 uniqueIdWithRespectTo, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29919-29919 | 域 uniqueIdWithRespectTo, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2766-2766 | 域 想要, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24191-24191 | 域 weddingAnniversary, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18324-18324 | 域子類 DepartmentOfFn, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 501-501 | 域子類 contractedRentalPrice, 1 and Physical |
| 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