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
-------------------------


(documentation instance ChineseLanguage "如果一个物体属于一个 SetOrClass， 这物体就那个 SetOrClass 的一个instance。 一个个体可以是许多类别的一个 instance， 其中有一些可以是其他类别 的子类别，所以对于 instance 并没有假设任何具体或独特的含义。") chinese_format.kif 1359-1361
(documentation instance EnglishLanguage "An object is an instance of a Class if it is included in that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness.") Merge.kif 84-87
(documentation instance JapaneseLanguage "オブジェクトがその SetOrClass に含まれている場合、 オブジェクトは SetOrClass の instance である。個々は多くのクラスSetOrClass instance である可能性があり、その一部は他のサブクラスである場合がある。したがって、特異性または一意性に関 する instance の意味の仮定はしない。") japanese_format.kif 17-20
(documentation instance SpanishLanguage "Un objeto es una instance de un SetOrClass si es incluido en el SetOrClass. Un individuo puede ser una instance de muchas clases, en algunas de las cuales pueden ser una subclase de otros. Desde este modo, no hay asunción en el significado de instance sobre especificidad o unicidad.") spanish_format.kif 17-20
(domain instance 1 Entity) Merge.kif 81-81 Il numero 1 argomenti di instance è un istanza di Entit�
(domain instance 2 Class) Merge.kif 82-82 Il numero 2 argomenti di instance è un istanza di Classe
(instance instance BinaryPredicate) Merge.kif 80-80 instance è un' istanza di PredicatoBinario

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


(format ChineseLanguage instance "%1 %n 是 %2 的 instance") chinese_format.kif 305-305
(format EnglishLanguage instance "%1 is %n an instance of %2") english_format.kif 310-310
(format FrenchLanguage instance "%1 est %n une instance de %2") french_format.kif 175-175
(format ItalianLanguage instance "%1 è %n un' istanza di %2") relations-it.txt 149-149
(format JapaneseLanguage instance "%1 は %2 の instance では %n") japanese_format.kif 1995-1995
(format PortugueseLanguage instance "%1 e' %n uma instancia de %2") portuguese_format.kif 127-127
(format cz instance "%1 %p{je} %n{nen�} instanc� t��dy %2") relations-cz.txt 173-173
(format de instance "%1 ist ein fall von %2 %n{nicht}") relations-de.txt 400-400
(format hi instance "%1 %2 kaa drishhTaanta %n hai") relations-hindi.txt 188-188
(format ro instance "%1 %n{nu} este o instance%t{instanþiere} a lui %2") relations-ro.kif 195-195
(format sv instance "%1 är %n{inte} en instans av %2") relations-sv.txt 184-184
(format tg instance "%1 %n ay ang kasapi sa %2") relations-tg.txt 302-302
(relatedInternalConcept member instance) Merge.kif 1281-1281 member è interamente correlato a instance
(subrelation element instance) Merge.kif 5413-5413 element è una sottorelazione di instance
(subrelation immediateInstance instance) Merge.kif 89-89 immediateInstance è una sottorelazione di instance
(termFormat ChineseLanguage instance "例") domainEnglishFormat.kif 30247-30247
(termFormat ChineseLanguage instance "实例") chinese_format.kif 306-306
(termFormat ChineseTraditionalLanguage instance "例") domainEnglishFormat.kif 30246-30246
(termFormat EnglishLanguage instance "instance") domainEnglishFormat.kif 30245-30245
(termFormat tg instance "halimbawa") relations-tg.txt 303-303

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and AgenteCognitivo AgenteCognitivo è un' istanza di Corporazione FinancialAccount è un' istanza di CorporateAccount
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 996-1000 accountHolder FinancialAccount and AgenteCognitivo AgenteCognitivo è un' istanza di Umano FinancialAccount è un' istanza di PersonalAccount
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1462-1467 L' altezza di Aircraft è OggettoIntegro OggettoIntegro è una superficie di PlanetEarth Aircraft è un' istanza di Aircraft absoluteHeight Aircraft and AltitudeMeasure
(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0.0 ?NUMBER1)))))		 Merge.kif 4768-4779 Ilvalore assoluto di NumeroReale is uguale a NumeroRealeNonNegativo NumeroReale è un' istanza di NumeroReale NumeroRealeNonNegativo è un' istanza di NumeroReale NumeroReale è un' istanza di NumeroRealeNonNegativo NumeroReale is uguale a NumeroRealeNonNegativo NumeroReale è un' istanza di NumeroRealeNegativo NumeroRealeNonNegativo is uguale a (0.0 + NumeroReale
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2321-2326 FinancialAccount è un' istanza di FinancialAccount AgenteCognitivo possiedees FinancialAsset FinancialAccount is uguale a AccountFn FinancialAsset accountHolder FinancialAccount and AgenteCognitivo
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1007-1011 Entit� è un' istanza di PersonalAccount il numero di istanzia in la classe descritta da Stringa è più grande di 1 Entit� è un' istanza di JointAccount
(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))		 Mid-level-ontology.kif 30178-30188 Entit� è un' istanza di ParteDelCorpo attribute Entit� and Bare vales durante PosizioneTemporale Entit� Entit� è un' istanza di Vestito covers Entit� and Entit� vales durante PosizioneTemporale
(<=>
    (and
        (instance ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))		 Merge.kif 12466-12473 Processo è un' istanza di Combinare Oggetto è una risorsa per Processo Entit� è un risultato di Processo Oggetto è una parte di Entit� vales durante l' inizio di il tempo di esistenza di Processo Oggetto è una parte di Entit� vales durante la fine di il tempo di esistenza di Processo
(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 26329-26340 Processo è un' istanza di Photocopying ContentBearingPhysical è un paziente di Processo ContentBearingPhysical è un' istanza di VisualContentBearingObject ContentBearingPhysical contienes informazione Proposizione ContentBearingPhysical Proposizione ContentBearingPhysical è un risultato di Processo ContentBearingPhysical è un' istanza di VisualContentBearingObject ContentBearingPhysical contienes informazione Proposizione Proposizione is uguale a Proposizione
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))		 Geography.kif 7524-7530 OggettoIntegro è un' istanza di LiquidDrop approximateDiameter OggettoIntegro and NumeroReale Micrometer(s 500.0 è meno di NumeroReale OggettoIntegro è un' istanza di Droplet
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))		 Geography.kif 7440-7451 Oggetto è un' istanza di ParticulateMatter OggettoIntegro è una parte di Oggetto approximateDiameter OggettoIntegro and NumeroReale Micrometer(s 10.0 è più grande di NumeroReale NumeroReale è più grande di 2.5 Oggetto10 Oggetto10 è un' istanza di CoarseParticulateMatter Oggetto10 è una parte di Oggetto
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))		 Geography.kif 7469-7479 Oggetto è un' istanza di ParticulateMatter OggettoIntegro è una parte di Oggetto approximateDiameter OggettoIntegro and NumeroReale Micrometer(s NumeroReale è più grande di o uguale a 2.5 Oggetto25 Oggetto25 è un' istanza di FineParticulateMatter Oggetto25 è una parte di Oggetto
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 Entit� è un' istanza di WindowScrolling Entit� è un' istanza di UserSignifiedGraphicalAction Entit� è un' istanza di WindowScrollingByUser
(<=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal
            (CurrencyFn ?Account))
        (not
            (exists (?Penalty)
                (and
                    (instance ?Penalty Penalty)
                    (destination ?Penalty
                        (CurrencyFn ?Account))
                    (causes ?Withdrawal ?Penalty)))))
    (liquidity ?Account HighLiquidity))		 FinancialOntology.kif 1818-1828 Processo è un' istanza di Withdrawal FinancialAccount è un' istanza di FinancialAccount Processo si originas in CurrencyFn FinancialAccount Processo Processo è un' istanza di Penalty Processo fines in CurrencyFn FinancialAccount Processo causas Processo liquidity FinancialAccount and HighLiquidity
(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))		 Weather.kif 2680-2690 Entit� è un' istanza di Regione Entit� ha un attributo StandardAmbientTemperaturePressure vales durante PosizioneTemporale airTemperature Entit� and 298.15 KelvinDegree(s barometricPressure Entit� and 29.530 InchMercury(s vales durante PosizioneTemporale
(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 357-390 Anno è un' istanza di l' anno AnnoEAR MaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 82-97 Anno è un' istanza di l' anno NumeroIntero BirthsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 118-133 Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 238-264 Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandLiveBirthsFn AreaGeopolitica and Anno is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 403-436 Anno è un' istanza di l' anno NumeroIntero FemaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 310-342 Anno è un' istanza di l' anno NumeroIntero LifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 156-187 Anno è un' istanza di l' anno NumeroIntero MigrantsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale ( NumeroIntero + NumeroIntero is uguale a 1 Entit� è un' istanza di l' anno NumeroIntero PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante Anno NumeroReale + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa ( NumeroIntero + NumeroIntero is uguale a NumeroReale NumeroReale + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
    (and
        (equal
            (SubtractionFn ?Y ?YP) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?YP))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring ?PREVIOUSYEAR
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))		 People.kif 52-64 Anno è un' istanza di l' anno NumeroIntero PopulationGrowthFn AreaGeopolitica and Anno is uguale a NumeroReale ( NumeroIntero + NumeroInteroP is uguale a 1 PosizioneTemporale è un' istanza di l' anno NumeroInteroP PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante Anno PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante PosizioneTemporale NumeroReale + NumeroReale is uguale a NumeroReale ( NumeroReale + 1 is uguale a NumeroReale
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24790-24795 PostalPlace è localizzato in PostcodeArea PostalPlace è un' istanza di PostalPlace PostcodeArea è un' istanza di PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 24763-24768 PostalPlace è localizzato in Citt� PostalPlace è un' istanza di PostalPlace Citt� è un' istanza di Citt� postCity PostalPlace and Citt�

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and AgenteCognitivo AgenteCognitivo è un' istanza di Corporazione FinancialAccount è un' istanza di CorporateAccount
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 996-1000 accountHolder FinancialAccount and AgenteCognitivo AgenteCognitivo è un' istanza di Umano FinancialAccount è un' istanza di PersonalAccount
(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0.0 ?NUMBER1)))))		 Merge.kif 4768-4779 Ilvalore assoluto di NumeroReale is uguale a NumeroRealeNonNegativo NumeroReale è un' istanza di NumeroReale NumeroRealeNonNegativo è un' istanza di NumeroReale NumeroReale è un' istanza di NumeroRealeNonNegativo NumeroReale is uguale a NumeroRealeNonNegativo NumeroReale è un' istanza di NumeroRealeNegativo NumeroRealeNonNegativo is uguale a (0.0 + NumeroReale
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1007-1011 Entit� è un' istanza di PersonalAccount il numero di istanzia in la classe descritta da Stringa è più grande di 1 Entit� è un' istanza di JointAccount
(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))		 Mid-level-ontology.kif 30178-30188 Entit� è un' istanza di ParteDelCorpo attribute Entit� and Bare vales durante PosizioneTemporale Entit� Entit� è un' istanza di Vestito covers Entit� and Entit� vales durante PosizioneTemporale
(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 26329-26340 Processo è un' istanza di Photocopying ContentBearingPhysical è un paziente di Processo ContentBearingPhysical è un' istanza di VisualContentBearingObject ContentBearingPhysical contienes informazione Proposizione ContentBearingPhysical Proposizione ContentBearingPhysical è un risultato di Processo ContentBearingPhysical è un' istanza di VisualContentBearingObject ContentBearingPhysical contienes informazione Proposizione Proposizione is uguale a Proposizione
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))		 Geography.kif 7524-7530 OggettoIntegro è un' istanza di LiquidDrop approximateDiameter OggettoIntegro and NumeroReale Micrometer(s 500.0 è meno di NumeroReale OggettoIntegro è un' istanza di Droplet
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))		 Geography.kif 7440-7451 Oggetto è un' istanza di ParticulateMatter OggettoIntegro è una parte di Oggetto approximateDiameter OggettoIntegro and NumeroReale Micrometer(s 10.0 è più grande di NumeroReale NumeroReale è più grande di 2.5 Oggetto10 Oggetto10 è un' istanza di CoarseParticulateMatter Oggetto10 è una parte di Oggetto
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))		 Geography.kif 7469-7479 Oggetto è un' istanza di ParticulateMatter OggettoIntegro è una parte di Oggetto approximateDiameter OggettoIntegro and NumeroReale Micrometer(s NumeroReale è più grande di o uguale a 2.5 Oggetto25 Oggetto25 è un' istanza di FineParticulateMatter Oggetto25 è una parte di Oggetto
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 Entit� è un' istanza di WindowScrolling Entit� è un' istanza di UserSignifiedGraphicalAction Entit� è un' istanza di WindowScrollingByUser
(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 357-390 Anno è un' istanza di l' anno AnnoEAR MaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 82-97 Anno è un' istanza di l' anno NumeroIntero BirthsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 118-133 Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 238-264 Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandLiveBirthsFn AreaGeopolitica and Anno is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 403-436 Anno è un' istanza di l' anno NumeroIntero FemaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 310-342 Anno è un' istanza di l' anno NumeroIntero LifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 156-187 Anno è un' istanza di l' anno NumeroIntero MigrantsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale ( NumeroIntero + NumeroIntero is uguale a 1 Entit� è un' istanza di l' anno NumeroIntero PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante Anno NumeroReale + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa ( NumeroIntero + NumeroIntero is uguale a NumeroReale NumeroReale + NumeroReale is uguale a NumeroReale
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
    (and
        (equal
            (SubtractionFn ?Y ?YP) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?YP))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring ?PREVIOUSYEAR
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))		 People.kif 52-64 Anno è un' istanza di l' anno NumeroIntero PopulationGrowthFn AreaGeopolitica and Anno is uguale a NumeroReale ( NumeroIntero + NumeroInteroP is uguale a 1 PosizioneTemporale è un' istanza di l' anno NumeroInteroP PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante Anno PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante PosizioneTemporale NumeroReale + NumeroReale is uguale a NumeroReale ( NumeroReale + 1 is uguale a NumeroReale
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale annualExpendituresOfArea AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale annualRevenuesOfArea AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale
(<=>
    (attribute ?MUSIC PolyphonicMusic)
    (exists (?PART1 ?PART2)
        (and
            (instance ?MUSIC MakingMusic)
            (instance ?PART1 MakingMusic)
            (instance ?PART2 MakingMusic)
            (subProcess ?PART1 ?MUSIC)
            (subProcess ?PART2 ?MUSIC)
            (not
                (equal ?PART1 ?PART2))
            (cooccur ?PART1 ?MUSIC)
            (cooccur ?PART2 ?MUSIC))))		 Mid-level-ontology.kif 751-762 attribute Oggetto and PolyphonicMusic Processo Processo Oggetto è un' istanza di MakingMusic Processo è un' istanza di MakingMusic Processo è un' istanza di MakingMusic Processo è un sottoprocesso di Oggetto Processo è un sottoprocesso di Oggetto Processo is uguale a Processo Processo occores nello stesso tempo di Oggetto Processo occores nello stesso tempo di Oggetto
(<=>
    (attribute ?WATER OpenSea)
    (exists (?LAND ?DIST)
        (and
            (instance ?WATER SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER
                (MeasureFn ?DIST NauticalMile))
            (greaterThan ?DIST 5.0))))		 Geography.kif 4711-4720 attribute Oggetto and OpenSea Entit�Concreta NumeroReale Oggetto è un' istanza di SuperficieAcquaticaSalata Oggetto è un' istanza di LandlockedWater la distanza tra Entit�Concreta e Oggetto è NumeroReale NauticalMile(s NumeroReale è più grande di 5.0
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))		 FinancialOntology.kif 3943-3948 bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount è un' istanza di FinancialAccount accountAt FinancialAccount and BankFinancialOrganization
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))		 Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale capitalExpendituresOfArea AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))		 Economy.kif 3661-3666 currencyExchangePerUSDollar MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale currencyExchangeRate UnitedStatesDollar and MisuraMonetaria vales durante PosizioneTemporale

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))		 Geography.kif 3193-3193 agreementEffectiveDate AntarcticTreaty and ?D è un' istanza di il giorno 23
(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 456-469 Anno è un' istanza di l' anno NumeroIntero ChildrenBornPerWomanFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa
(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)		 Government.kif 1241-1248 ?AGENT ?VOTER, ?ELECTION and ?VOTING contienes informazione ExclusiveMaleSuffrage
(containsInformation
    (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER)
        (=>
            (and
                (instance ?COUNTRY Nation)
                (instance ?ELECTION
                    (ElectionFn ?COUNTRY))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)		 Government.kif 923-931 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER contienes informazione VoterCitizenshipRequirement
(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)		 Government.kif 1092-1103 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contienes informazione UniversalSuffrageLaw
(containsInformation
    (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?VOTER ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?VOTER
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)		 Government.kif 1160-1174 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contienes informazione CompulsorySuffrageLaw
(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SAMPLE))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 921-929 decreasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE è un' istanza di ?SUBSTANCE ?THERAPY è un' istanza di ?PROCESS ?ORGANISM esperisces ?THERAPY ?SAMPLE è un paziente di ?THERAPY and attribute ?ORGANISM and ?SYMPTOM
(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))		 Mid-level-ontology.kif 18202-18219 decreasesLikelihood ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un' istanza di PaperShredder ?CUT è un' istanza di Tagliare ?X è uno strumento per ?CUT ?PAPER è un' istanza di Paper ?PAPER è un paziente di ?CUT ?CBO è localizzato in ?PAPER ?CBO è un' istanza di VisualContentBearingObject ?CBO contienes informazione ?INFO and ?READ ?READ è un' istanza di Interpreting ?INFO è un paziente di ?READ il tempo di esistenza di ?CUT accades prima di il tempo di esistenza di ?READ
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 872-881 AvailableForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 895-906 FitForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 31734-31739 OrganismPopulationFn Organismo and AreaGeografica is uguale a il numero di istanzia in la classe descritta da OrganismoI
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 31712-31717 PopulationFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 933-946 ReachingMilitaryAgeAnnuallyMaleFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa
(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))		 Medicine.kif 4559-4564 Processo Entit� Processo è un' istanza di Diffusione Processo è un agente di Netflix Entit� è un paziente di Processo Entit� è un' istanza di ImmagineDinamica
(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))		 Medicine.kif 4566-4569 Processo Processo è un' istanza di FilmMaking Processo è un agente di Netflix
(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))		 ComputingBrands.kif 2453-2457 PosizioneTemporale PosizioneTemporale è un' istanza di l' anno 1976 coworker SteveJobsOfApple and SteveWozniakOfApple vales durante PosizioneTemporale
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))		 ComputingBrands.kif 2441-2445 PosizioneTemporale PosizioneTemporale è un' istanza di l' anno 2002 coworker SteveJobsOfApple and TimCookOfApple vales durante PosizioneTemporale
(exists (?THING)
    (instance ?THING Entity))		 Merge.kif 825-826 Entit� Entit� è un' istanza di Entit�
(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))		 Media.kif 1970-1978 IntervalloTemporale IntervalloTemporale è un' istanza di IntervalloTemporale IntervalloTemporale finiscees il tempo di esistenza di JesusOfNazareth IntervalloTemporale inizias il tempo di esistenza di TwelveApostles Entit�
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))		 ComputingBrands.kif 3309-3315 IBookstore ha scopo ?D ?D è un' istanza di DownloadingOverNetwork IBookstore è uno strumento per ?D ?T è un' istanza di Testo objectTransferred ?D and ?T
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2501-2504 Serbia è un' istanza di EuropeanNation PosizioneTemporale è un' istanza di il giorno 5 vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2496-2499 Serbia è un' istanza di IndependentState PosizioneTemporale è un' istanza di il giorno 5 vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2506-2509 names "Republic of Serbia" and Serbia PosizioneTemporale è un' istanza di il giorno 5 vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2528-2531 PosizioneTemporale è un' istanza di il giorno 3 Montenegro è un' istanza di EuropeanNation vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2523-2526 PosizioneTemporale è un' istanza di il giorno 3 Montenegro è un' istanza di IndependentState vales durante dopo PosizioneTemporale

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 1176-1176 CellPartFn Cellula and CellPart è un' istanza di CellPart
(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 1165-1165 ViralPartFn Virus and VirusPart è un' istanza di VirusPart
(instance AAA-Rating FinancialRating) FinancialOntology.kif 2520-2520 AAA-Rating è un' istanza di FinancialRating
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3220-3220 ABPFn è un' istanza di FunzioneUnaria
(instance ABTest ExperimentAttribute) UXExperimentalTerms.kif 4417-4417 ABTest è un' istanza di ExperimentAttribute
(instance APucikwarLanguage CentralGreatAndamaneseLanguage) Languages.kif 5379-5379 APucikwarLanguage è un' istanza di CentralGreatAndamaneseLanguage
(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2874-2874 ASEANRegionalForum è un' istanza di OrganizationOfNations
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3265-3265 ASPFn è un' istanza di FunzioneUnaria
(instance ATandTCorp Corporation) ComputingBrands.kif 2122-2122 ATandTCorp è un' istanza di Corporazione
(instance AVPUAlertStatus AVPUStatus) Medicine.kif 6421-6421 AVPUAlertStatus è un' istanza di AVPUStatus
(instance AVPUPainStatus AVPUStatus) Medicine.kif 6461-6461 AVPUPainStatus è un' istanza di AVPUStatus
(instance AVPUUnresponsiveStatus AVPUStatus) Medicine.kif 6484-6484 AVPUUnresponsiveStatus è un' istanza di AVPUStatus
(instance AVPUVerbalStatus AVPUStatus) Medicine.kif 6439-6439 AVPUVerbalStatus è un' istanza di AVPUStatus
(instance AalandIslands Archipelago) Media.kif 2560-2560 AalandIslands è un' istanza di Archipelago
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2561-2561 AalandIslands è un' istanza di DependencyOrSpecialSovereigntyArea
(instance AariyaLanguage UnclassifiedSpokenLanguage) Languages.kif 3771-3771 AariyaLanguage è un' istanza di UnclassifiedSpokenLanguage
(instance AbbVie Corporation) Medicine.kif 2966-2966 AbbVie è un' istanza di Corporazione
(instance Abbot ReligiousPosition) People.kif 1209-1209 Abbot è un' istanza di ReligiousPosition
(instance AbbottLaboratories Corporation) Medicine.kif 3851-3851 AbbottLaboratories è un' istanza di Corporazione
(instance AbinomnLanguage SpokenHumanLanguage) Languages.kif 2923-2923 AbinomnLanguage è un' istanza di SpokenHumanLanguage
(instance AbishiraLanguage UnclassifiedSpokenLanguage) Languages.kif 3777-3777 AbishiraLanguage è un' istanza di UnclassifiedSpokenLanguage
(instance AbkhazLanguage NorthCaucasianLanguage) Languages.kif 14550-14550 AbkhazLanguage è un' istanza di NorthCaucasianLanguage
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2410-2410 AbortedFn è un' istanza di FunzioneBinaria
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2476-2476 AbortedLaunchFn è un' istanza di FunzioneBinaria
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2430-2430 AbortedMissionFn è un' istanza di FunzioneBinaria

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