|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | The number 2 argument of attr is an instance of attribute |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3193-3193 | The number 1 argument of gross merchandise bought in auctions is an instance of collection |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 865-865 | The number 1 argument of available for military service male is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3271-3271 | The number 1 argument of average function is an instance of list |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | The number 1 argument of back is an instance of self connected object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7982-7982 | The number 1 argument of begin is an instance of time interval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5942-5942 | The number 1 argument of begin node is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | People.kif 673-673 | The number 1 argument of Belief group member fn is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2912-2912 | The number 1 argument of bid count is an instance of collection |
| No TPTP formula. May not be expressible in strict first order. | People.kif 69-69 | The number 1 argument of births per thousand is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | People.kif 70-70 | The number 2 argument of births per thousand is an instance of year |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | The number 1 argument of Body side fn is an instance of anti-symmetric positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | The number 1 argument of border is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | The number 2 argument of border is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2878-2878 | The number 1 argument of bought items is an instance of collection |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1319-1319 | The number 1 argument of CPU utilization is an instance of computer program |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1527-1527 | The number 1 argument of cabinet is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4783-4783 | The number 1 argument of ceiling is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1168-1168 | The number 1 argument of cell part is an instance of cell |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7639-7639 | The number 1 argument of center of circle is an instance of circle |
| No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | The number 1 argument of children born per woman is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | The number 2 argument of children born per woman is an instance of year |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8039-8039 | The number 1 argument of citizenry is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3327-3327 | The number 1 argument of click-through rate is an instance of collection |
| 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