| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2014-2014 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3493-3494 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 653-654 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3491-3491 | 子類 TernaryPredicate and 可繼承的關係 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3489-3489 | 子類 TernaryPredicate and Predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3490-3490 | 子類 TernaryPredicate and TernaryRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2459-2459 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2458-2458 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2457-2457 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3153-3153 | 例 abbreviatedDisplayTitle and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1658-1658 | 例 成就 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3324-3324 | 例 稅後收入 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 542-542 | 例 ageOfMajorityForProcess and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 728-728 | 例 協議修訂日期 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2240-2240 | 例 按等級劃分的農產品類型 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31362-31362 | 例 allowableValue and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3121-3121 | 例 alternativeTitle and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7700-7700 | 例 高度 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7589-7589 | 例 amount and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 648-648 | 例 到期金額 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1496-1496 | 例 期間面積的年度支出 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1468-1468 | 例 期間面積的年收入 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 148-148 | 例 appointedPosition and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22927-22927 | 例 責任範圍 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2434-2434 | 例 與地位相關聯 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2122-2122 | 例 attitudeForFormula and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2115-2115 | 例 attitudeForObject and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3810-3810 | 例 可用餘額 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3833-3833 | 例 可用現金 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1219-1219 | 例 期間平均降水量 and TernaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1300-1300 | 例 期間平均降雨量 and TernaryPredicate |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3496-3498 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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