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

Formal Language: 



KB Term:  Term intersection
English Word: 

  biochemicalAgentSyndrome

 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 O argumento numero 1 de dateEstablished e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 979-979 O argumento numero 2 de dateEstablished e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 977-977 dateEstablished e' uma instancia de Predicado Binario

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