No TPTP formula. May not be expressible in strict first order.	Hotel.kif 932-932	例 adjacentOrientation and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 382-382	例 行政中心 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4012-4012	例 管理員 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 183-183	例 advertisedOn and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24139-24139	例 附屬組織 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7518-7518	例 年齡 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3419-3419	例 agentName and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 2234-2234	例 代理人在區域內經營 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 695-695	例 協議採用日期 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14023-14023	例 協議生效日期 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 755-755	例 協議有效期間 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14048-14048	例 截止日期 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14009-14009	例 協議期限 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2230-2230	例 農產品類型 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 2584-2584	例 組織的目標 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3091-3091	例 airQualityIndex and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25672-25672	例 氣溫 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Music.kif 272-272	例 albumArtist and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Music.kif 303-303	例 albumCoverImage and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Music.kif 324-324	例 albumLength and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Music.kif 253-253	例 albumRelease and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Music.kif 333-333	例 albumTrack and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Music.kif 289-289	例 albumType and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23204-23204	例 別號 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 163-163	例 allRoomsPhysicalAmenity 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