| 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 3379-3380 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3377-3377 | Ternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3375-3375 | Ternary predicate is a subclass of predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3376-3376 | Ternary predicate is a subclass of ternary relation |
| 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 3123-3123 | abbreviatedDisplayTitle is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1633-1633 | achievement is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3222-3222 | after tax income is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 590-590 | age of majority for process is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 715-715 | agreement revision date is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2244-2244 | agricultural product type by rank is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3091-3091 | alternativeTitle is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7326-7326 | altitude is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 607-607 | amount due is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1502-1502 | annual expenditures of area in period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1474-1474 | annual revenues of area in period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20854-20854 | area of responsibility is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2375-2375 | associate with status is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3657-3657 | available balance is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3677-3677 | available cash is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1219-1219 | average precipitation for period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1290-1290 | average rainfall for period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 984-984 | average temperature for period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3239-3239 | before tax income is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1526-1526 | beliefGroupPercentInRegion is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1042-1042 | benchmark performance is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4011-4011 | between is an instance of ternary predicate |
| 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 3382-3384 |
|
|
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