| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1536-1537 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 678-680 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 675-675 | The number 1 argument of successor attribute is an instance of attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 676-676 | The number 2 argument of successor attribute is an instance of attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 674-674 | successor attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 673-673 | successor attribute is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 655-655 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 323-323 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 331-331 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 697-697 | successor attribute closure is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8495-8495 | successorClass is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 324-324 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55863-55863 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55862-55862 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55861-55861 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 682-689 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 704-706 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 373-373 | Beaufort number 0 is an immediate successor attribute of Beaufort number 1 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 382-382 | Beaufort number 1 is an immediate successor attribute of Beaufort number 2 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 464-464 | Beaufort number 10 is an immediate successor attribute of Beaufort number 11 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 473-473 | Beaufort number 11 is an immediate successor attribute of Beaufort number 12 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 391-391 | Beaufort number 2 is an immediate successor attribute of Beaufort number 3 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 401-401 | Beaufort number 3 is an immediate successor attribute of Beaufort number 4 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 410-410 | Beaufort number 4 is an immediate successor attribute of Beaufort number 5 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 419-419 | Beaufort number 5 is an immediate successor attribute of Beaufort number 6 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 428-428 | Beaufort number 6 is an immediate successor attribute of Beaufort number 7 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 437-437 | Beaufort number 7 is an immediate successor attribute of Beaufort number 8 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 446-446 | Beaufort number 8 is an immediate successor attribute of Beaufort number 9 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 455-455 | Beaufort number 9 is an immediate successor attribute of Beaufort number 10 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21921-21921 | Cold is an immediate successor attribute of cool |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21927-21927 | Cool is an immediate successor attribute of warm |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 512-512 | Country in transition is an immediate successor attribute of advanced economy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 979-979 | Deluxe room is an immediate successor attribute of suite |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 511-511 | Developing country is an immediate successor attribute of country in transition |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2143-2143 | EF0 is an immediate successor attribute of EF1 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2151-2151 | EF1 is an immediate successor attribute of EF2 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2159-2159 | EF2 is an immediate successor attribute of EF3 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2167-2167 | EF3 is an immediate successor attribute of EF4 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2175-2175 | EF4 is an immediate successor attribute of EF5 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | Former soviet or eastern european country is an immediate successor attribute of developed country |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 209-209 | Less developed country is an immediate successor attribute of former soviet or eastern european country |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 426-426 | Low income country is an immediate successor attribute of lower middle income country |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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