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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - forall
forall

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65835-65835

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17325-17333 Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Geography.kif 1522-1530
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. UXExperimentalTerms.kif 3202-3215
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2887-2903
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2845-2870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2922-2940
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2956-2983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2999-3026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7378-7392
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4241-4267
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4175-4190
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3333-3356
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3668-3704

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


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
No TPTP formula. May not be expressible in strict first order. Merge.kif 7794-7802 Objeto e' maior do que Objeto Numero Real Numero Real and Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 1297-1302 Colecao e' uma sub-colecao de Colecao Fisico
No TPTP formula. May not be expressible in strict first order. Hotel.kif 171-176
No TPTP formula. May not be expressible in strict first order. Hotel.kif 233-238
No TPTP formula. May not be expressible in strict first order. Hotel.kif 218-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4984-4992
No TPTP formula. May not be expressible in strict first order. Merge.kif 17767-17776
No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1116
No TPTP formula. May not be expressible in strict first order. Hotel.kif 147-154
No TPTP formula. May not be expressible in strict first order. Merge.kif 4862-4873
No TPTP formula. May not be expressible in strict first order. Merge.kif 4875-4889
No TPTP formula. May not be expressible in strict first order. Merge.kif 4947-4957
No TPTP formula. May not be expressible in strict first order. Merge.kif 4959-4973
No TPTP formula. May not be expressible in strict first order. Music.kif 936-946
No TPTP formula. May not be expressible in strict first order. Merge.kif 9930-9937
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 992-1008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12957-12968
No TPTP formula. May not be expressible in strict first order. Food.kif 1012-1026
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3376-3408
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3428-3455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3507

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. Government.kif 1205-1212 ?AGENT ?VOTER, ?ELECTION and ?VOTING contem informacao ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 887-895 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER contem informacao VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1056-1067 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contem informacao UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order. Government.kif 1124-1138 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contem informacao CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13360-13363 Numero Real Numero Real OunceMass(s) e' igual a Numero Real + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 4737-4738 Numero Inteiro ( Numero Inteiro+2) e' igual a ( Numero Inteiro + 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 4721-4722 Numero Inteiro ( Numero Inteiro+1) e' igual a ( Numero Inteiro + 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 3038-3041 @ROW Entidade comprimento de (@ROW + Entidade) e' igual a (comprimento de (@ROW)+1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 3043-3047 @ROW Entidade comprimento de (@ROW + Entidade)th elemento de (@ROW + Entidade) e' igual a Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 3316-3317 @ROW Entidade (@ROW) e' o comeco de (@ROW + Entidade)


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