|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16894-16894 | conclusion is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19679-19679 | contest participant is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7662-7662 | diameter is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7679-7679 | distance is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7901-7901 | duration is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8370-8370 | earlier is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21707-21707 | electron number is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4121-4121 | event located is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8068-8068 | finishes is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17973-17973 | geometric distance is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5886-5886 | graph part is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1843-1843 | greater than is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7751-7751 | larger is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17965-17965 | line measure is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4072-4072 | located is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1729-1729 | manner is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 79-79 | maximum payload capacity is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 107-107 | maximum payload height width is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8325-8325 | meets temporally is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10978-10978 | moves is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16364-16364 | parent is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4044-4044 | partly located is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11071-11071 | path is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 69-69 | person transport capability is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16870-16870 | premise is an instance of total valued relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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