| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1827-1830 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2225-2230 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 446-450 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2223-2223 | Partial valued relation is a subclass of relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8855-8855 | Afternoon of is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1775-1775 | Attr is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 896-896 | Back is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8609-8609 | Day is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4741-4741 | Division is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15529-15529 | Edition is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8955-8955 | Evening fn is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1760-1760 | Extension is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 876-876 | Front is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16733-16733 | Government is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4846-4846 | Greatest common divisor is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8634-8634 | Hour is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5921-5921 | Initial node is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4922-4922 | Integer square root is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5581-5581 | Kappa is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4930-4930 | Least common multiple is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2976-2976 | List order is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8660-8660 | Minute is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8592-8592 | Month is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8839-8839 | Morning fn is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14660-14660 | Periodical issue is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8989-8989 | Quarter fn is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8465-8465 | Recurrent time interval is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5095-5095 | Remainder is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8687-8687 | Second is an instance of partial valued relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2163-2163 | Relation is exhaustively partitioned into total valued relation and partial valued relation |
|
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