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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - or
or

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42386-42386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42385-42385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42384-42384

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24770-24777 PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14106-14116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26192-26204
No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Economy.kif 2112-2121
No TPTP formula. May not be expressible in strict first order. Economy.kif 2156-2165
No TPTP formula. May not be expressible in strict first order. Economy.kif 2202-2211
No TPTP formula. May not be expressible in strict first order. Economy.kif 1980-1989
No TPTP formula. May not be expressible in strict first order. Merge.kif 5994-6007
No TPTP formula. May not be expressible in strict first order. Merge.kif 5980-5992
No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4543
No TPTP formula. May not be expressible in strict first order. Economy.kif 2277-2286
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1838-1860
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1862-1884
No TPTP formula. May not be expressible in strict first order. Economy.kif 2123-2130
No TPTP formula. May not be expressible in strict first order. Economy.kif 2167-2174
No TPTP formula. May not be expressible in strict first order. Economy.kif 2213-2220
No TPTP formula. May not be expressible in strict first order. Economy.kif 1991-1998
No TPTP formula. May not be expressible in strict first order. Economy.kif 2288-2295
No TPTP formula. May not be expressible in strict first order. Economy.kif 2594-2601

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4769-4780 O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real)
No TPTP formula. May not be expressible in strict first order. Government.kif 1364-1368 Queen e' um atributo de Objeto QueenRegnant e' um atributo de Objeto QueenConsort e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 1885-1889 Numero Real e' maior ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11709-11716 Objeto e' uma instancia de Osso Objeto Objeto e' uma instancia de Skeleton Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade
No TPTP formula. May not be expressible in strict first order. Geography.kif 3488-3494 Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Government.kif 108-115 Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de Governo Organizacao Organizacao e' uma instancia de Governo Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1871 Numero Real e' menor ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 17174-17178 Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 17162-17166 Objeto e' Below em relacao a Objeto Objeto e' On em relacao a Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Government.kif 702-717
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 655-667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31419-31426
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25781-25794
No TPTP formula. May not be expressible in strict first order. Merge.kif 13887-13900
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Merge.kif 221-227
No TPTP formula. May not be expressible in strict first order. Merge.kif 244-250

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 924-937 ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica


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