| 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 2221-2226 | |
| 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 2219-2219 | 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 8931-8931 | Afternoon of is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1770-1770 | Attr is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 889-889 | Back is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8685-8685 | Day is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4754-4754 | Division is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15642-15642 | Edition is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9031-9031 | Evening fn is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1755-1755 | Extension is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 869-869 | Front is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16871-16871 | Government is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4859-4859 | Greatest common divisor is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8710-8710 | Hour is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5931-5931 | Initial node is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4935-4935 | Integer square root is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5591-5591 | Kappa is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4943-4943 | Least common multiple is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2974-2974 | List order is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8736-8736 | Minute is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8668-8668 | Month is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8915-8915 | Morning fn is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16050-16050 | Periodical issue is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | Quarter fn is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8541-8541 | Recurrent time interval is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5108-5108 | Remainder is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8763-8763 | 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 2159-2159 | 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