Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  dateEstablished

 Sigma KEE - dateEstablished
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 Le nombre 1 argument de dateEstablished est une instance de physique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 979-979 Le nombre 2 argument de dateEstablished est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 977-977 dateEstablished est une instance de pr�dicat binaire

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 dateEstablished ASEANRegionalForum and l' ann�e 1994
No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and le jour 6
No TPTP formula. May not be expressible in strict first order. Government.kif 2757-2757 dateEstablished AfricanDevelopmentBank and le jour 4
No TPTP formula. May not be expressible in strict first order. Government.kif 2771-2771 dateEstablished AgencyForTheFrenchSpeakingCommunity and le jour 20
No TPTP formula. May not be expressible in strict first order. Government.kif 2778-2778 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and le jour 14
No TPTP formula. May not be expressible in strict first order. Government.kif 2796-2796 dateEstablished AndeanCommunityOfNations and le jour 26
No TPTP formula. May not be expressible in strict first order. Government.kif 2801-2801 dateEstablished AntarcticTreatyCouncil and le jour 23
No TPTP formula. May not be expressible in strict first order. Government.kif 2812-2812 dateEstablished ArabBankForEconomicDevelopmentInAfrica and le jour 18
No TPTP formula. May not be expressible in strict first order. Government.kif 2818-2818 dateEstablished ArabCooperationCouncil and le jour 16
No TPTP formula. May not be expressible in strict first order. Government.kif 2824-2824 dateEstablished ArabFundForEconomicAndSocialDevelopment and le jour 16
No TPTP formula. May not be expressible in strict first order. Government.kif 2833-2833 dateEstablished ArabLeague and le jour 22
No TPTP formula. May not be expressible in strict first order. Government.kif 2842-2842 dateEstablished ArabMaghrebUnion and le jour 17
No TPTP formula. May not be expressible in strict first order. Government.kif 2851-2851 dateEstablished ArabMonetaryFund and le jour 27
No TPTP formula. May not be expressible in strict first order. Government.kif 2857-2857 dateEstablished AsiaPacificEconomicCooperation and le jour 7
No TPTP formula. May not be expressible in strict first order. Government.kif 2863-2863 dateEstablished AsianDevelopmentBank and le jour 19
No TPTP formula. May not be expressible in strict first order. Government.kif 2869-2869 dateEstablished AssociationOfSoutheastAsianNations and le jour 8
No TPTP formula. May not be expressible in strict first order. Government.kif 2883-2883 dateEstablished AustraliaGroup and l' ann�e 1984
No TPTP formula. May not be expressible in strict first order. Government.kif 2889-2889 dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and le jour 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2895-2895 dateEstablished BankForInternationalSettlements and le jour 20
No TPTP formula. May not be expressible in strict first order. Government.kif 2901-2901 dateEstablished BeneluxEconomicUnion and le jour 3
No TPTP formula. May not be expressible in strict first order. Government.kif 2909-2909 dateEstablished BigSeven and l' ann�e 1975
No TPTP formula. May not be expressible in strict first order. Government.kif 2914-2914 dateEstablished BigSix and l' ann�e 1967
No TPTP formula. May not be expressible in strict first order. Government.kif 2921-2921 dateEstablished BlackSeaEconomicCooperationZone and le jour 25
No TPTP formula. May not be expressible in strict first order. Government.kif 2928-2928 dateEstablished CaribbeanCommunityAndCommonMarket and le jour 4
No TPTP formula. May not be expressible in strict first order. Government.kif 2935-2935 dateEstablished CaribbeanDevelopmentBank and le jour 18

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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