| 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 707-709 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 102-103 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 119-121 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 704-704 | 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 705-705 | 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 703-703 | successor attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 702-702 | 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 684-684 | 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 328-328 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 184-184 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 286-286 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2004-2004 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 136-136 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 195-195 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 425-425 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 323-323 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 204-204 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 194-194 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 478-478 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 732-732 | successor attribute closure is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9022-9022 | successor class 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 55885-55885 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55884-55884 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55883-55883 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 739-741 |
|
| 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 25708-25708 | Cold is an immediate successor attribute of cool |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25714-25714 | Cool is an immediate successor attribute of warm |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 517-517 | Country in transition is an immediate successor attribute of advanced economy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1001-1001 | Deluxe room is an immediate successor attribute of suite |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | Developing country is an immediate successor attribute of country in transition |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2150-2150 | EF0 is an immediate successor attribute of EF1 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2158-2158 | EF1 is an immediate successor attribute of EF2 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2166-2166 | EF2 is an immediate successor attribute of EF3 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2174-2174 | EF3 is an immediate successor attribute of EF4 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2182-2182 | 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