No TPTP formula. May not be expressible in strict first order.	Hotel.kif 225-225	例 allRoomsPolicy and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 210-210	例 allRoomsServiceAmenity and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24158-24158	例 忠誠 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6223-6223	例 allergic and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16850-16850	例 母校 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 910-910	例 收費金額 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1452-1452	例 amountOfBid and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16349-16349	例 祖先 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24164-24164	例 祖先組織 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17833-17833	例 圖的角度 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17865-17865	例 圓周角度測量 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24179-24179	例 週年 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2103-2103	例 年耗電量 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2147-2147	例 年度電力出口 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2193-2193	例 年度電力進口 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1971-1971	例 年發電量 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1507-1507	例 區域年度支出 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2267-2267	例 年出口總額 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2573-2573	例 年進口總額 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1479-1479	例 面積年收入 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10659-10659	例 antagonistMuscles and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Music.kif 355-355	例 anthem and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31375-31375	例 applicableRelation and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1484-1484	例 評估價值 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26944-26944	例 approves and BinaryPredicate
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