| 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 700-702 | |
| 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 697-697 | 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 698-698 | 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 696-696 | successor attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 695-695 | 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 677-677 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 323-323 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 328-328 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 184-184 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 286-286 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2004-2004 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 136-136 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 195-195 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 425-425 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 323-323 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 204-204 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 194-194 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 478-478 | sub attribute and successor attribute are disjoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 725-725 | successor attribute closure is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9135-9135 | successor class is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 324-324 | successor class is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55889-55889 | successor class is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55888-55888 | successor class is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55887-55887 | successor class is internally related to successor attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 135-135 | successor class is internally related to successor attribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 732-734 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 361-361 | 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 370-370 | 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 452-452 | 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 461-461 | 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 379-379 | 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 389-389 | 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 398-398 | 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 407-407 | 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 416-416 | 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 425-425 | 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 434-434 | 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 443-443 | 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 27606-27606 | Cold is an immediate successor attribute of cool |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27612-27612 | 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 1009-1009 | 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 2979-2979 | EF0 is an immediate successor attribute of EF1 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2987-2987 | EF1 is an immediate successor attribute of EF2 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2995-2995 | EF2 is an immediate successor attribute of EF3 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3003-3003 | EF3 is an immediate successor attribute of EF4 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3011-3011 | 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