| 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 8441-8441 | 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 55778-55778 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55777-55777 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55776-55776 |
| 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 336-336 | Beaufort number eight is an immediate successor attribute of beaufort number nine |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 342-342 | Beaufort number eleven is an immediate successor attribute of beaufort number twelve |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 330-330 | Beaufort number five is an immediate successor attribute of beaufort number six |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 328-328 | Beaufort number four is an immediate successor attribute of beaufort number five |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 338-338 | Beaufort number nine is an immediate successor attribute of beaufort number ten |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 322-322 | Beaufort number one is an immediate successor attribute of beaufort number two |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 334-334 | Beaufort number seven is an immediate successor attribute of beaufort number eight |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 332-332 | Beaufort number six is an immediate successor attribute of beaufort number seven |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 340-340 | Beaufort number ten is an immediate successor attribute of beaufort number eleven |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 326-326 | Beaufort number three is an immediate successor attribute of beaufort number four |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 324-324 | Beaufort number two is an immediate successor attribute of beaufort number three |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 320-320 | BeaufortNumberZero is an immediate successor attribute of beaufort number one |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23692-23692 | Cold is an immediate successor attribute of cool |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23698-23698 | 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 971-971 | 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. | 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 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 427-427 | Lower middle income country is an immediate successor attribute of upper middle income country |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16818-16818 | Non fully formed is an immediate successor attribute of fully formed |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 965-965 | Standard room is an immediate successor attribute of deluxe room |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 358-358 | US military rank e1 is an immediate successor attribute of US military rank e2 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 371-371 | US military rank e2 is an immediate successor attribute of US military rank e3 |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners