No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1566-1566	域子類 運輸, 1 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1157-1157	域子類 病毒部分, 2 and 病毒部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8973-8973	域子類 WeekFn, 2 and 年
No TPTP formula. May not be expressible in strict first order.	Media.kif 3155-3155	域子類 abbreviatedDisplayTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	emotion.kif 157-157	域子類 actionTendency, 2 and EmotionalBehavioralProcess
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 597-597	域子類 activityCapability, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Government.kif 699-699	域子類 協議採用日期, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Government.kif 759-759	域子類 協議有效期間, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Government.kif 730-730	域子類 協議修訂日期, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2232-2232	域子類 農產品類型, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2242-2242	域子類 按等級劃分的農產品類型, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 169-169	域子類 allRoomsPhysicalAmenity, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 216-216	域子類 allRoomsServiceAmenity, 2 and 服務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6224-6224	域子類 allergic, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3123-3123	域子類 alternativeTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7592-7592	域子類 amount, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24181-24181	域子類 週年, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1499-1499	域子類 期間面積的年度支出, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1471-1471	域子類 期間面積的年收入, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10660-10660	域子類 antagonistMuscles, 1 and Muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10661-10661	域子類 antagonistMuscles, 2 and Muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22928-22928	域子類 責任範圍, 2 and Process
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 342-342	域子類 相關功能, 2 and Protein
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13794-13794	域子類 原子數, 1 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15479-15479	域子類 作者, 2 and ContentBearingObject
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