dateEstablished |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 980-983 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 978-978 | 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 979-979 | 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 977-977 | 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 18618-18618 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18617-18617 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18616-18616 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 985-990 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 960-963 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2877-2877 | The year 1994 is a date established of ASEAN regional forum |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | The day 6 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 2757-2757 | The day 4 is a date established of african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | The day 20 is a date established of agency for the french speaking community |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2778-2778 | The day 14 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 2796-2796 | The day 26 is a date established of andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | The day 23 is a date established of antarctic treaty council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2812-2812 | The day 18 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 2818-2818 | The day 16 is a date established of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | The day 16 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 2833-2833 | The day 22 is a date established of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2842-2842 | The day 17 is a date established of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2851-2851 | The day 27 is a date established of arab monetary fund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | The day 7 is a date established of asia pacific economic cooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2863-2863 | The day 19 is a date established of asian development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2869-2869 | The day 8 is a date established of association of southeast asian nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2883-2883 | The year 1984 is a date established of australia group |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | The day 1 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 2895-2895 | The day 20 is a date established of bank for international settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | The day 3 is a date established of benelux economic union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2909-2909 | The year 1975 is a date established of big seven |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2914-2914 | The year 1967 is a date established of big six |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | The day 25 is a date established of black sea economic cooperation zone |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | The day 4 is a date established of caribbean community and common market |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | The day 18 is a date established of caribbean development bank |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |