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

Formal Language: 



KB Term:  Term intersection
English Word: 

  holdsDuring

Sigma KEE - holdsDuring
holdsDuring

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


(documentation holdsDuring ChineseLanguage "(holdsDuring ?TIME ?FORMULA) 的意思是 由 ?FORMULA 表示的命题在 ?TIME时段是事实。注:这意味着 ?FORMULA 在每一个 TimePoint 都是真的, TimePoint 是 ?TIME 一个的 temporalPart。") chinese_format.kif 2083-2085
(documentation holdsDuring EnglishLanguage "(holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every TimePoint which is a temporalPart of ?TIME.") Merge.kif 3884-3887
(documentation holdsDuring JapaneseLanguage "(holdsDuring ?TIME ?FORMULA) とは、?FORMULA で示される命題が時間枠 ?TIME に当てはまることを意味する。 注:これは、?FORMULA が temporalPart であるすべての?TIMEの TimePoint に当てはまることを意味する。") japanese_format.kif 731-733
(domain holdsDuring 1 TimePosition) Merge.kif 3881-3881 O argumento numero 1 de holdsDuring e' uma instancia de Posicao Temporal
(domain holdsDuring 2 Formula) Merge.kif 3882-3882 O argumento numero 2 de holdsDuring e' uma instancia de Formula
(instance holdsDuring AsymmetricRelation) Merge.kif 3880-3880 holdsDuring e' uma instancia de Relacao Assimetrica
(instance holdsDuring BinaryPredicate) Merge.kif 3879-3879 holdsDuring e' uma instancia de Predicado Binario

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


(format ChineseLanguage holdsDuring "%2 %n{doesn't} 在 %1 holdsDuring") chinese_format.kif 121-121
(format EnglishLanguage holdsDuring "%2 %n{doesn't} hold%p{s} during %1") english_format.kif 122-122
(format FrenchLanguage holdsDuring "%2 pendant %1") french_format.kif 82-82
(format ItalianLanguage holdsDuring "%2 %n{non} vale%p{s} durante %1") relations-it.txt 129-129
(format JapaneseLanguage holdsDuring "%2 は %1 の during hold%p{s} %n{ない}") japanese_format.kif 1909-1909
(format PortugueseLanguage holdsDuring "%2 vale durante %1") portuguese_format.kif 34-34
(format cz holdsDuring "%2' %2a{%n{ne}plat�} %1a{b�hem} %1'") relations-cz.txt 117-117
(format de holdsDuring "%2 haelt waehrend %1 %n{nicht}") relations-de.txt 142-142
(format hi holdsDuring "%2 %1 kii samayaavadhi men yathaartha %n{nahiin} hai") relations-hindi.txt 169-169
(format ro holdsDuring "%2 %n{nu} se verificã during%t{pe perioada} %1") relations-ro.kif 101-101
(format sv holdsDuring "%2 gäller %n{inte} under tiden som %1") relations-sv.txt 81-81
(format tg holdsDuring "%2 %n ay tutoo panahon ng %1") relations-tg.txt 264-264
(relatedInternalConcept time holdsDuring) Merge.kif 3869-3869 time e' relacionado internamente por SUMO a holdsDuring
(termFormat ChineseLanguage holdsDuring "在这段时间为真") chinese_format.kif 122-122
(termFormat ChineseLanguage holdsDuring "持有期间") domainEnglishFormat.kif 28353-28353
(termFormat ChineseTraditionalLanguage holdsDuring "持有期間") domainEnglishFormat.kif 28352-28352
(termFormat EnglishLanguage holdsDuring "holds during") domainEnglishFormat.kif 28351-28351
(termFormat de holdsDuring "haeltWaehrend") terms-de.txt 42-42
(termFormat tg holdsDuring "tutoo sa panahon") relations-tg.txt 265-265

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


(<=>
    (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 Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
(<=>
    (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 Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17254-17262 Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 30132-30140 Barefoot e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Shoe Entidade usa Entidade vale durante Posicao Temporal
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 30145-30153 Naked e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa Entidade usa Entidade vale durante Posicao Temporal
(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 30223-30236 Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 30271-30279 Mute e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))
Merge.kif 1601-1607 LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))
Mid-level-ontology.kif 6231-6244
(=>
    (and
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Gas))
        (exists (?BOIL)
            (and
                (overlapsTemporally
                    (WhenFn ?BOIL) ?TIME)
                (instance ?BOIL Boiling)
                (patient ?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (exists (?R)
                (and
                    (instance ?R RecreationOrExercise)
                    (agent ?R ?H)
                    (during ?T
                        (WhenFn ?R)))))
        (holdsDuring ?T
            (attribute ?H HumanAdult))
        (or
            (greaterThan ?R 16)
            (lessThan ?R 12)))
    (holdsDuring ?T
        (not
            (attribute ?H Healthy))))
Medicine.kif 367-385
(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))
Geography.kif 1597-1603
(=>
    (and
        (dampingRatio ?P ?R)
        (greaterThan ?R 0)
        (instance ?T Tremor)
        (patient ?T ?P)
        (instance ?U UnitOfLength)
        (holdsDuring ?T1
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring ?T2
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U)))
        (during ?T1 ?T)
        (during ?T2 ?T)
        (earlier ?T1 ?T2))
    (greaterThan ?A1 ?A2))
Cars.kif 809-825
(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn
                (MeasureFn ?N1 MilesPerHour) ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?E)
        (holdsDuring
            (WhenFn ?P)
            (measure ?C
                (RotationFn
                    (MeasureFn ?N2 MilesPerHour) ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Cars.kif 2585-2603
(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (familyRelation ?MONARCH ?SUCCESSOR)
        (earlier ?T1 ?T2))
    (modalAttribute
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility))
Government.kif 223-234
(=>
    (and
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H ChristmasDay))
    (observesHoliday ?A ?H))
Media.kif 406-411
(=>
    (and
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H EasterSunday))
    (observesHoliday ?A ?H))
Media.kif 509-514
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 7960-7967
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))
Anatomy.kif 1838-1860
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))
Anatomy.kif 1862-1884
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))
Anatomy.kif 1799-1807
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Supine)
                (orientation ?H ?O On)))
        (equal ?B
            (BackFn ?H)))
    (meetsSpatially ?B ?O))
Anatomy.kif 1814-1821
(=>
    (and
        (holdsDuring ?T
            (attribute ?A ?ES))
        (actionTendency ?ES ?PI))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PI)
                (during
                    (WhenFn ?P) ?T)
                (experiencer ?P ?A))) Likely))
emotion.kif 161-172
(=>
    (and
        (holdsDuring ?T
            (attribute ?F Menopausal))
        (birthdate ?F ?B)
        (instance ?B
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y))))
        (equal ?A1
            (AdditionFn 49 ?Y))
        (equal ?A2
            (AdditionFn 52 ?Y))
        (equal ?START
            (BeginFn ?T)))
    (modalAttribute
        (and
            (greaterThan ?START ?A1)
            (greaterThan ?A2 ?START)) Likely))
Mid-level-ontology.kif 23916-23932
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))
Merge.kif 18246-18254

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (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 Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
(<=>
    (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 e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
(<=>
    (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 Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal
(<=>
    (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 Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
(<=>
    (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 Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
(<=>
    (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 Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
(<=>
    (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 Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ( Numero Inteiro + Numero Inteiro) e' igual a Numero Real Numero Real + Numero Real e' igual a Numero Real
(<=>
    (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 Ano e' uma instancia de o ano Numero Inteiro PopulationGrowthFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero InteiroP) e' igual a 1 Posicao Temporal e' uma instancia de o ano Numero InteiroP PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano PopulationFn Area Geopolitica e' igual a Numero Real vale durante Posicao Temporal Numero Real + Numero Real e' igual a Numero Real ( Numero Real + 1) e' igual a Numero Real
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualRevenuesOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))
Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal capitalExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3661-3666 currencyExchangePerUSDollar Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal currencyExchangeRate UnitedStatesDollar and Medida de Divisa vale durante Posicao Temporal
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3668-3673 currencyExchangeRateInPeriod UnitOfCurrency, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal currencyExchangeRate UnitOfCurrency and Medida de Divisa vale durante Posicao Temporal
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))
Economy.kif 2819-2824 economicAidDonatedInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal economicAidDonated Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
(<=>
    (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))
Economy.kif 2859-2864 economicAidReceivedNetInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal economicAidReceivedNet Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
(<=>
    (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2056-2061 electricityFractionFromSourceInPeriod Area Geopolitica, PowerGeneration, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal electricityFractionFromSource Area Geopolitica, PowerGeneration and Numero Real vale durante Posicao Temporal
(<=>
    (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2549-2554 exportPartnerByFractionInPeriod Area Geopolitica, Area Geopolitica, Numero Real positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartnerByFraction Area Geopolitica, Area Geopolitica and Numero Real positivo vale durante Posicao Temporal
(<=>
    (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2511-2516 exportPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal
(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2387-2392 exportPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartner AutonomousAgent and AutonomousAgent vale durante Posicao Temporal
(<=>
    (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (externalDebt ?COUNTRY ?AMOUNT)))))
Economy.kif 2775-2780 externalDebtInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal externalDebt Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
(<=>
    (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))
Economy.kif 1279-1284 highestDecileShareOfHouseholdIncomeInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal highestDecileShareOfHouseholdIncome Area Geopolitica and Numero Real vale durante Posicao Temporal
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17254-17262 Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 30132-30140 Barefoot e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Shoe Entidade usa Entidade vale durante Posicao Temporal
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 30145-30153 Naked e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa Entidade usa Entidade vale durante Posicao Temporal
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))
Merge.kif 1601-1607 LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(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 Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(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 Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))
ComputingBrands.kif 2453-2457 Posicao Temporal Posicao Temporal e' uma instancia de o ano 1976 coworker SteveJobsOfApple and SteveWozniakOfApple vale durante Posicao Temporal
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))
ComputingBrands.kif 2441-2445 Posicao Temporal Posicao Temporal e' uma instancia de o ano 2002 coworker SteveJobsOfApple and TimCookOfApple vale durante Posicao Temporal
(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 Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade

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


(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2501-2504 Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2496-2499 Serbia e' uma instancia de IndependentState Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2506-2509 Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2528-2531 Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))
Media.kif 2523-2526 Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))
Media.kif 2533-2536 Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))
Media.kif 2546-2550 Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2791-2794 Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2765-2769 Posicao Temporal e' uma instancia de o ano 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vale durante imediatemente apos Posicao Temporal
(holdsDuring
    (WhenFn JesusOfNazareth)
    (located JesusOfNazareth Palestine))
Media.kif 1920-1920 JesusOfNazareth e' situado em Palestine vale durante tempo de existencia de JesusOfNazareth


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