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

Formal Language: 



KB Term:  Term intersection
English Word: 

  instance

 Sigma KEE - instance
instance

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1359-1361
No TPTP formula. May not be expressible in strict first order. Merge.kif 84-87
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 17-20
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 17-20
No TPTP formula. May not be expressible in strict first order. Merge.kif 81-81 Le nombre 1 argument de instance est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 82-82 Le nombre 2 argument de instance est une instance de classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 80-80 instance est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order. english_format.kif 310-310
No TPTP formula. May not be expressible in strict first order. french_format.kif 175-175
No TPTP formula. May not be expressible in strict first order. relations-it.txt 149-149
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1995-1995
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 127-127
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 173-173
No TPTP formula. May not be expressible in strict first order. relations-de.txt 400-400
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 188-188
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 195-195
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 184-184
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 302-302
No TPTP formula. May not be expressible in strict first order. Merge.kif 1281-1281 member est reli� � l'int�rieur de SUMO � instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5413-5413 element est une sous-relation de instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 89-89 immediateInstance est une sous-relation de instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30247-30247
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 306-306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30246-30246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30245-30245
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 303-303

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de corporation FinancialAccount est une instance de CorporateAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 996-1000 accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de humain FinancialAccount est une instance de PersonalAccount
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1462-1467 Le altitude de Aircraft est objet en une partie objet en une partie est une surface de PlanetEarth Aircraft est une instance de Aircraft absoluteHeight Aircraft and AltitudeMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 4768-4779 La valeur absolue de nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el nombre r�el non n�gatif est une instance de nombre r�el nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el n�gatif nombre r�el non n�gatif est nombre r�el)
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2321-2326 FinancialAccount est une instance de FinancialAccount agent cognitif poss�de FinancialAsset FinancialAccount est AccountFn FinancialAsset accountHolder FinancialAccount and agent cognitif
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1007-1011 Entit� est une instance de PersonalAccount le nombre d' instances dans la classe d�crite par cha�ne sympbolique est plus grand que 1 entit� est une instance de JointAccount
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 12466-12473 Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26329-26340 Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition proposition est proposition
No TPTP formula. May not be expressible in strict first order. Geography.kif 7524-7530 Objet en une partie est une instance de LiquidDrop approximateDiameter objet en une partie and nombre r�el Micrometer(s) 500.0 est moins que nombre r�el objet en une partie est une instance de Droplet
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1789-1793 Entit� est une instance de WindowScrolling entit� est une instance de UserSignifiedGraphicalAction entit� est une instance de WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1818-1828 Processus est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
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 82-97 Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est 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 156-187 Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24790-24795 PostalPlace est situ� � PostcodeArea PostalPlace est une instance de PostalPlace PostcodeArea est une instance de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24763-24768 PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville

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. FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de corporation FinancialAccount est une instance de CorporateAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 996-1000 accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de humain FinancialAccount est une instance de PersonalAccount
No TPTP formula. May not be expressible in strict first order. Merge.kif 4768-4779 La valeur absolue de nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el nombre r�el non n�gatif est une instance de nombre r�el nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el n�gatif nombre r�el non n�gatif est nombre r�el)
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1007-1011 Entit� est une instance de PersonalAccount le nombre d' instances dans la classe d�crite par cha�ne sympbolique est plus grand que 1 entit� est une instance de JointAccount
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26329-26340 Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition proposition est proposition
No TPTP formula. May not be expressible in strict first order. Geography.kif 7524-7530 Objet en une partie est une instance de LiquidDrop approximateDiameter objet en une partie and nombre r�el Micrometer(s) 500.0 est moins que nombre r�el objet en une partie est une instance de Droplet
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1789-1793 Entit� est une instance de WindowScrolling entit� est une instance de UserSignifiedGraphicalAction entit� est une instance de WindowScrollingByUser
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 82-97 Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est 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 156-187 Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order. Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualRevenuesOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 751-762 PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 OpenSea est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3943-3948 bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount est une instance de FinancialAccount accountAt FinancialAccount and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order. Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel capitalExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 3661-3666 currencyExchangePerUSDollar mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel currencyExchangeRate UnitedStatesDollar and mesure de devise pendant position temporel

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. Geography.kif 3193-3193 agreementEffectiveDate AntarcticTreaty and ?D est une instance de le jour 23
No TPTP formula. May not be expressible in strict first order. People.kif 456-469 Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
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. WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ
No TPTP formula. May not be expressible in strict first order. Military.kif 872-881 AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31734-31739 OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31712-31717 PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Military.kif 933-946 ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 Processus entit� processus est une instance de disseminer processus est un agent de Netflix entit� est un patient de processus entit� est une instance de motion picture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4569 Processus processus est une instance de FilmMaking processus est un agent de Netflix
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2453-2457 Position temporel position temporel est une instance de l' ann�e 1976 coworker SteveJobsOfApple and SteveWozniakOfApple pendant position temporel
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2441-2445 Position temporel position temporel est une instance de l' ann�e 2002 coworker SteveJobsOfApple and TimCookOfApple pendant position temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 825-826 Entit� entit� est une instance de entit�
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�
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 IBookstore a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T
No TPTP formula. May not be expressible in strict first order. Media.kif 2501-2504 Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order. Media.kif 2496-2499 Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order. Media.kif 2506-2509 Serbia s'appele nom "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order. Media.kif 2528-2531 Position temporel est une instance de le jour 3 Montenegro est une instance de EuropeanNation pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order. Media.kif 2523-2526 Position temporel est une instance de le jour 3 Montenegro est une instance de IndependentState pendant apr�s position temporel

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1176-1176 CellPartFn cellule and CellPart est une instance de CellPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1165-1165 ViralPartFn virus and VirusPart est une instance de VirusPart
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2520-2520 AAA-Rating est une instance de FinancialRating
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3220-3220 ABPFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4417-4417 ABTest est une instance de ExperimentAttribute
No TPTP formula. May not be expressible in strict first order. Languages.kif 5379-5379 APucikwarLanguage est une instance de CentralGreatAndamaneseLanguage
No TPTP formula. May not be expressible in strict first order. Government.kif 2874-2874 ASEANRegionalForum est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3265-3265 ASPFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2122-2122 ATandTCorp est une instance de corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6421-6421 AVPUAlertStatus est une instance de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6461-6461 AVPUPainStatus est une instance de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6484-6484 AVPUUnresponsiveStatus est une instance de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6439-6439 AVPUVerbalStatus est une instance de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Media.kif 2560-2560 AalandIslands est une instance de Archipelago
No TPTP formula. May not be expressible in strict first order. Media.kif 2561-2561 AalandIslands est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. Languages.kif 3771-3771 AariyaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2966-2966 AbbVie est une instance de corporation
No TPTP formula. May not be expressible in strict first order. People.kif 1209-1209 Abbot est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3851-3851 AbbottLaboratories est une instance de corporation
No TPTP formula. May not be expressible in strict first order. Languages.kif 2923-2923 AbinomnLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3777-3777 AbishiraLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14550-14550 AbkhazLanguage est une instance de NorthCaucasianLanguage
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2410-2410 AbortedFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2476-2476 AbortedLaunchFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2430-2430 AbortedMissionFn est une instance de fonction binaire

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