No TPTP formula. May not be expressible in strict first order.	Merge.kif 5465-5465	例 相對補充 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17250-17250	例 相對時間 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5169-5169	例 回合 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5188-5188	例 正負號 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5210-5210	例 正弦 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6655-6655	例 速度 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24470-24470	例 StringConcatenateFn and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24443-24443	例 StringLengthFn and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4725-4725	例 減法 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5300-5300	例 接班人 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5230-5230	例 切線 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9394-9394	例 時間構成 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5428-5428	例 聯盟 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6610-6610	例 UnitFn and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6667-6667	例 速度 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7813-7813	例 財富 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8489-8489	例 何時 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4221-4221	例 哪裡 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8576-8576	例 年 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16370-16370	例 祖先 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17888-17888	例 圓周角度測量 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17945-17945	例 approximateDiameter and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1717-1717	例 attribute and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 209-209	例 口徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11013-11013	例 改變位置 and TotalValuedRelation
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