| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 973-976 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 971-971 | The number 1 argument of date established is an instance of physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 972-972 | The number 2 argument of date established is a subclass of time position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 970-970 | date established is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 652-652 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 651-651 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 650-650 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18627-18627 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18626-18626 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18625-18625 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 978-983 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 953-956 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2838-2838 | The year 1994 is a date established of ASEAN regional forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2711-2711 | The day 6 of month the month June is a date established of african caribbean and pacific group of states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2718-2718 | The day 4 of month the month August is a date established of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2732-2732 | The day 20 of month the month March is a date established of agency for the french speaking community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2739-2739 | The day 14 of month the month February is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2757-2757 | The day 26 of month the month May is a date established of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2762-2762 | The day 23 of month the month June is a date established of antarctic treaty council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2773-2773 | The day 18 of month the month February is a date established of arab bank for economic development in africa |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | The day 16 of month the month February is a date established of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2785-2785 | The day 16 of month the month May is a date established of arab fund for economic and social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2794-2794 | The day 22 of month the month March is a date established of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2803-2803 | The day 17 of month the month February is a date established of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2812-2812 | The day 27 of month the month April is a date established of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2818-2818 | The day 7 of month the month November is a date established of asia pacific economic cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | The day 19 of month the month December is a date established of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2830-2830 | The day 8 of month the month August is a date established of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2844-2844 | The year 1984 is a date established of australia group |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2850-2850 | The day 1 of month the month September is a date established of australia new zealand united states security treaty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2856-2856 | The day 20 of month the month January is a date established of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2862-2862 | The day 3 of month the month February is a date established of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2870-2870 | The year 1975 is a date established of big seven |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2875-2875 | The year 1967 is a date established of big six |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2882-2882 | The day 25 of month the month June is a date established of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | The day 4 of month the month July is a date established of caribbean community and common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2896-2896 | The day 18 of month the month October is a date established of caribbean development bank |
| 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