No TPTP formula. May not be expressible in strict first order.	Weather.kif 984-984	例 期間平均溫度 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3344-3344	例 稅前收入 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	People.kif 1524-1524	例 beliefGroupPercentInRegion and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1037-1037	例 基準表現 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4151-4151	例 之間 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1905-1905	例 競標價格 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	WMD.kif 912-912	例 生化劑解毒劑 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10702-10702	例 bodyAngle and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10376-10376	例 breathingRate and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 722-722	例 browserID and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4089-4089	例 購買電量 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29950-29950	例 buys and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 1837-1837	例 職位候選人 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24576-24576	例 canonicalPlaceName and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3901-3901	例 能力 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 780-780	例 capacityByArrangement and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1526-1526	例 期間面積的資本支出 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4732-4732	例 地區的地址 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4763-4763	例 arearyFAX在區域內的數量 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4742-4742	例 地區的尚書郵寄地址 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4753-4753	例 區域內的尚書電話號碼 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 1551-1551	例 國家元首 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 818-818	例 chromosomeSetCount and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16808-16808	例 同學關係 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3469-3469	例 收盤價 and TernaryPredicate
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