No TPTP formula. May not be expressible in strict first order.	Geography.kif 2456-2456	域子類 區域環境問題類型, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30688-30688	域子類 firstInstanceCreated, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 337-337	域子類 freeRoomAmenity, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 809-809	域子類 functionRoomAmenity, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2257-2257	域子類 區域內的自然災害類型, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 908-908	域子類 nearOrientation, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 269-269	域子類 negotiatedPrice, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 923-923	域子類 onOrientation, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 383-383	域子類 paidRoomAmenity, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 502-502	域子類 propertyAmenity, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 454-454	域子類 rentalPrice, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 279-279	域子類 roomAmenity, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 952-952	域子類 viewType, 2 and Physical

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