No TPTP formula. May not be expressible in strict first order.	Economy.kif 2352-2352	域子類 出口合作夥伴期間, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2259-2259	域子類 期間出口總額, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2757-2757	域子類 期間外債, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30676-30676	域子類 firstInstanceCreated, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3682-3682	域子類 財政年度, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Military.kif 911-911	域子類 適合兵役, 2 and MilitaryProcess
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 336-336	域子類 freeRoomAmenity, 1 and HotelUnit
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.	Merge.kif 7933-7933	域子類 頻率, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 808-808	域子類 functionRoomAmenity, 1 and HotelFunctionRoom
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 4286-4286	域子類 地下表面類型, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4279-4279	域子類 地面類型, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3194-3194	域子類 groupingTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30366-30366	域子類 habitatOfOrganism, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21349-21349	域子類 有專業知識, 2 and FieldOfStudy
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21364-21364	域子類 有職業, 2 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3980-3980	域子類 有技巧, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26661-26661	域子類 hasUniform, 2 and UniformClothing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1246-1246	域子類 期間最高的等分家庭收入, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4392-4392	域子類 hinders, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4309-4309	域子類 hindersSubclass, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4310-4310	域子類 hindersSubclass, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1648-1648	域子類 該地區炎熱的季節, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 57-57	域子類 非法藥物消費者, 2 and 非法藥物
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