| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1490-1491 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 308-310 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 50-52 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 55-57 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 306-306 | The number 1 argument of range is an instance of function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 307-307 | The number 2 argument of range is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 305-305 | range is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 304-304 | range is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 313-313 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 318-318 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 179-179 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 238-238 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1999-1999 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 131-131 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 180-180 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 410-410 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 276-276 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 199-199 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 189-189 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 314-314 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48792-48792 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48791-48791 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3393-3397 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 312-316 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 324-330 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 432-437 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3227-3227 | The range of average buying price is an instance of currency measure |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3272-3272 | The range of average buying price is an instance of currency measure |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2413-2413 | The range of aborted is an instance of process |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2530-2530 | The range of aborted launch is an instance of taking off |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2432-2432 | The range of aborted mission is an instance of military operation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | The range of absolute value is an instance of nonnegative real number |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | The range of Acceleration fn is an instance of function quantity |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2317-2317 | The range of account is an instance of financial account |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4712-4712 | The range of addition is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 224-224 | The range of address is an instance of physical address |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8881-8881 | The range of afternoon of is an instance of afternoon |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3045-3045 | The range of agreement organization is an instance of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7594-7594 | The range of Amounts fn is an instance of list |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5258-5258 | The range of arccosine is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5268-5268 | The range of arcsine is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5248-5248 | The range of arctangent is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 787-787 | The range of assignment is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3195-3195 | The range of gross merchandise bought in auctions is an instance of currency measure |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 857-857 | The range of available for military service male is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3273-3273 | The range of average function is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | The range of back is an instance of self connected object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8029-8029 | The range of begin is an instance of time point |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5938-5938 | The range of begin node is an instance of graph node |
| No TPTP formula. May not be expressible in strict first order. | People.kif 674-674 | The range of Belief group member fn is an instance of internal attribute |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2914-2914 | The range of bid count is an instance of nonnegative integer |
| 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 3.0 is open source software produced by Articulate Software and its partners