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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hawaii

Sigma KEE - forall
forall

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17276-17284 Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
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 5993-6006
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5991
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 7350-7364
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 Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif
No TPTP formula. May not be expressible in strict first order. Merge.kif 7780-7788 Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure
No TPTP formula. May not be expressible in strict first order. Merge.kif 1297-1302 Collection est une sous-collection appartenant � collection physique
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 4989-4997
No TPTP formula. May not be expressible in strict first order. Merge.kif 17710-17719
No TPTP formula. May not be expressible in strict first order. Government.kif 1132-1152
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 4861-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4888
No TPTP formula. May not be expressible in strict first order. Merge.kif 4946-4956
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972
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 9916-9923
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 12929-12940
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 1241-1248 ?AGENT ?VOTER, ?ELECTION and ?VOTING contient information ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER contient information VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contient information UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contient information CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit�

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13332-13335 Nombre r�el nombre r�el OunceMass(s) est nombre r�el + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 4736-4737 Nombre entier ( nombre entier+2) est nombre entier + 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 4720-4721 Nombre entier ( nombre entier+1) est nombre entier + 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 3037-3040 @ROW Entit� longueur de (@ROW + entit�) est longueur de (@ROW)+1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 3042-3046 @ROW Entit� longueur de (@ROW + entit�)th entit�) est entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 3315-3316 @ROW Entit� (@ROW) commence (@ROW + entit�)


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