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

Formal Language: 



KB Term:  Term intersection
English Word: 

  and

 Sigma KEE - and
and

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


(termFormat ChineseLanguage and "和") domainEnglishFormat.kif 7410-7410
(termFormat ChineseTraditionalLanguage and "和") domainEnglishFormat.kif 7409-7409
(termFormat EnglishLanguage and "and") domainEnglishFormat.kif 7408-7408

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and CognitiveAgent und ** CognitiveAgent ist ein fall von Corporation %n{nicht} genau dann wenn ** FinancialAccount ist ein fall von CorporateAccount %n{nicht}
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 996-1000 accountHolder FinancialAccount and CognitiveAgent und ** CognitiveAgent ist ein fall von Human %n{nicht} genau dann wenn ** FinancialAccount ist ein fall von PersonalAccount %n{nicht}
(<=>
    (and
        (agreementPeriod ?Account ?Period)
        (finishes ?End ?Period))
    (maturityDate ?Account ?End))		 FinancialOntology.kif 642-646 agreementPeriod FinancialAccount and TimeInterval und Day beendet ** TimeInterval %n{nicht} genau dann wenn maturityDate ** FinancialAccount and ** Day
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1462-1467 Das altitude von Aircraft ist SelfConnectedObject %n{nicht} und ** SelfConnectedObject ist eine flaeche von PlanetEarth %n{nicht} und ** Aircraft ist ein fall von Aircraft %n{nicht} genau dann wenn 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 Der absolutebetrag von RealNumber ist gleich NonnegativeRealNumber %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} und ** NonnegativeRealNumber ist ein fall von RealNumber %n{nicht} genau dann wenn ** RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} und ** RealNumber ist gleich ** NonnegativeRealNumber %n{nicht} oder ** RealNumber ist ein fall von NegativeRealNumber %n{nicht} und ** NonnegativeRealNumber ist gleich (0.0 und ** RealNumber) %n{nicht}
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2321-2326 FinancialAccount ist ein fall von FinancialAccount %n{nicht} und CognitiveAgent besitzt FinancialAsset %n{nicht} und ** FinancialAccount ist gleich AccountFn ** FinancialAsset %n{nicht} genau dann wenn accountHolder ** FinancialAccount and ** CognitiveAgent
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1007-1011 Entity ist ein fall von PersonalAccount %n{nicht} und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist groesserAls 1 %n{nicht} genau dann wenn ** Entity ist ein fall von JointAccount %n{nicht}
(<=>
    (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 Entity ist ein fall von BodyPart %n{nicht} und Bare ist ein attribut von ** Entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und covers ** ** entity and ** Entity haelt waehrend ** TimePosition %n{nicht}
(<=>
    (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 Process ist ein fall von Combining %n{nicht} und Object ist ein hilfmittel fuer ** Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht} genau dann wenn ** Object ist ein teil von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Object ist ein teil von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(<=>
    (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 Process ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von ** Process %n{nicht} und ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ContentBearingPhysical enthaelt Informationen ueber Proposition genau dann wenn es gibt ** ContentBearingPhysical und ** Proposition um ** ** ContentBearingPhysical ist ein resultat von ** Process %n{nicht} und ** ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ** ContentBearingPhysical enthaelt Informationen ueber ** ** Proposition und ** Proposition ist gleich ** ** Proposition %n{nicht}
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))		 Geography.kif 7524-7530 SelfConnectedObject ist ein fall von LiquidDrop %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 500.0 ist kleinerAls ** RealNumber %n{nicht} genau dann wenn ** SelfConnectedObject ist ein fall von Droplet %n{nicht}
(<=>
    (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 Object ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 10.0 ist groesserAls ** RealNumber %n{nicht} und ** RealNumber ist groesserAls 2.5 %n{nicht} genau dann wenn es gibt ** Object10 um ** Object10 ist ein fall von CoarseParticulateMatter %n{nicht} und ** Object10 ist ein teil von ** Object %n{nicht}
(<=>
    (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 Object ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und ** RealNumber ist groesserAlsOderGleich 2.5 %n{nicht} genau dann wenn es gibt ** Object25 um ** Object25 ist ein fall von FineParticulateMatter %n{nicht} und ** Object25 ist ein teil von ** Object %n{nicht}
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 Entity ist ein fall von WindowScrolling %n{nicht} und ** Entity ist ein fall von UserSignifiedGraphicalAction %n{nicht} genau dann wenn ** Entity ist ein fall von WindowScrollingByUser %n{nicht}
(<=>
    (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 Process ist ein fall von Withdrawal %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und ** Process beginnet an CurrencyFn ** FinancialAccount %n{nicht} und es gibt nicht ** Process um ** ** Process ist ein fall von Penalty %n{nicht} und ** ** Process endet an CurrencyFn ** FinancialAccount %n{nicht} und ** Process verursacht ** ** Process %n{nicht} genau dann wenn 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 Entity ist ein fall von Region %n{nicht} und ** Entity hat ein attribut StandardAmbientTemperaturePressure %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn airTemperature ** Entity and 298.15 KelvinDegree(s) und barometricPressure ** Entity and 29.530 InchMercury(s) haelt waehrend ** TimePosition %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr ** YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr ** ** Integer %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und ** ** RealNumber und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und (** ** Integer und ** ** Integer) ist gleich ** RealNumber %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr ** IntegerP %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** TimePosition %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} und (** ** RealNumber und 1) ist gleich ** RealNumber %n{nicht}
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24790-24795 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und PostcodeArea ist ein fall von PostcodeArea %n{nicht} genau dann wenn postPostcodeArea ** PostalPlace and ** PostcodeArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (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 Der absolutebetrag von RealNumber ist gleich NonnegativeRealNumber %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} und ** NonnegativeRealNumber ist ein fall von RealNumber %n{nicht} genau dann wenn ** RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} und ** RealNumber ist gleich ** NonnegativeRealNumber %n{nicht} oder ** RealNumber ist ein fall von NegativeRealNumber %n{nicht} und ** NonnegativeRealNumber ist gleich (0.0 und ** RealNumber) %n{nicht}
(<=>
    (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 Entity ist ein fall von BodyPart %n{nicht} und Bare ist ein attribut von ** Entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und covers ** ** entity and ** Entity haelt waehrend ** TimePosition %n{nicht}
(<=>
    (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 Process ist ein fall von Combining %n{nicht} und Object ist ein hilfmittel fuer ** Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht} genau dann wenn ** Object ist ein teil von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Object ist ein teil von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(<=>
    (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 Process ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von ** Process %n{nicht} und ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ContentBearingPhysical enthaelt Informationen ueber Proposition genau dann wenn es gibt ** ContentBearingPhysical und ** Proposition um ** ** ContentBearingPhysical ist ein resultat von ** Process %n{nicht} und ** ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ** ContentBearingPhysical enthaelt Informationen ueber ** ** Proposition und ** Proposition ist gleich ** ** Proposition %n{nicht}
(<=>
    (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 Object ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 10.0 ist groesserAls ** RealNumber %n{nicht} und ** RealNumber ist groesserAls 2.5 %n{nicht} genau dann wenn es gibt ** Object10 um ** Object10 ist ein fall von CoarseParticulateMatter %n{nicht} und ** Object10 ist ein teil von ** Object %n{nicht}
(<=>
    (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 Object ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und ** RealNumber ist groesserAlsOderGleich 2.5 %n{nicht} genau dann wenn es gibt ** Object25 um ** Object25 ist ein fall von FineParticulateMatter %n{nicht} und ** Object25 ist ein teil von ** Object %n{nicht}
(<=>
    (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 Entity ist ein fall von Region %n{nicht} und ** Entity hat ein attribut StandardAmbientTemperaturePressure %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn airTemperature ** Entity and 298.15 KelvinDegree(s) und barometricPressure ** Entity and 29.530 InchMercury(s) haelt waehrend ** TimePosition %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr ** YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr ** ** Integer %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und ** ** RealNumber und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und (** ** Integer und ** ** Integer) ist gleich ** RealNumber %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr ** IntegerP %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** TimePosition %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} und (** ** RealNumber und 1) ist gleich ** RealNumber %n{nicht}
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und annualExpendituresOfArea ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht}
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und annualRevenuesOfArea ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht}
(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))		 Mid-level-ontology.kif 15000-15004 LiteracyAttribute ist ein attribut von AutonomousAgent %n{nicht} genau dann wenn ** AutonomousAgent hat die F�higkeit, zum Reading zu tun %n{nicht} und ** AutonomousAgent hat die F�higkeit, zum Writing zu tun %n{nicht}
(<=>
    (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 PolyphonicMusic ist ein attribut von Object %n{nicht} genau dann wenn es gibt Process und ** Process um ** Object ist ein fall von MakingMusic %n{nicht} und ** Process ist ein fall von MakingMusic %n{nicht} und ** ** Process ist ein fall von MakingMusic %n{nicht} und ** Process ist ein subProzess von ** Object und ** ** Process ist ein subProzess von ** Object und ** Process ist gleich ** ** Process nicht und ** Process geschiecht gleichzeitig mit ** Object %n{nicht} und ** ** Process geschiecht gleichzeitig mit ** Object %n{nicht}
(<=>
    (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 OpenSea ist ein attribut von Object %n{nicht} genau dann wenn es gibt Physical und RealNumber um ** Object ist ein fall von SaltWaterArea %n{nicht} und ** Object ist ein fall von LandlockedWater nicht und der abstand zwischen ** Physical und ** Object ist ** RealNumber NauticalMile(s) und ** RealNumber ist groesserAls 5.0 %n{nicht}
(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23046-23051 aunt Woman and Human genau dann wenn es gibt ** Human um sister ** Woman and ** ** Human und ** ** Human ist das elterntiel von ** Human %n{nicht}
(<=>
    (average ?LIST1 ?AVERAGE)
    (exists (?LIST2 ?LASTPLACE)
        (and
            (equal
                (ListLengthFn ?LIST2)
                (ListLengthFn ?LIST1))
            (equal
                (ListOrderFn ?LIST2 1)
                (ListOrderFn ?LIST1 1))
            (forall (?ITEMFROM2)
                (=>
                    (inList ?ITEMFROM2 ?LIST2)
                    (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
                        (and
                            (greaterThan ?POSITION 1)
                            (lessThanOrEqualTo ?POSITION
                                (ListLengthFn ?LIST2))
                            (equal
                                (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
                            (inList ?ITEMFROM1 ?LIST1)
                            (equal ?POSITION
                                (ListOrderFn ?LIST1 ?ITEMFROM1))
                            (inList ?PRIORFROM2 ?LIST2)
                            (equal ?POSITIONMINUSONE
                                (SubtractionFn ?POSITION 1))
                            (equal ?POSITIONMINUSONE
                                (ListOrderFn ?LIST2 ?PRIORFROM2))
                            (equal ?ITEMFROM2
                                (AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
            (equal ?LASTPLACE
                (ListLengthFn ?LIST2))
            (equal ?AVERAGE
                (DivisionFn
                    (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))		 People.kif 272-293 average List and RealNumber genau dann wenn es gibt ** List und PositiveInteger um Laenge von ** ** List ist gleich Laenge von ** List %n{nicht} und 1te mitglied von ** ** List ist gleich 1te mitglied von ** List %n{nicht} und fuer alle ** PositiveInteger und ** PositiveInteger ist gleich Laenge von ** ** List %n{nicht} und ** RealNumber ist gleich ** PositiveIntegerte mitglied von ** ** List und ** PositiveInteger %n{nicht}
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))		 FinancialOntology.kif 3943-3948 bankAccount ** FinancialAccount and BankFinancialOrganization genau dann wenn es gibt ** FinancialAccount um ** ** FinancialAccount ist ein fall von ** FinancialAccount %n{nicht} und accountAt ** ** FinancialAccount and ** BankFinancialOrganization
(<=>
    (beliefGroupPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))		 People.kif 1528-1539 beliefGroupPercentInRegion BeliefGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** BeliefGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht}
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))		 Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und capitalExpendituresOfArea ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht}

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 Year ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(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 Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING enthaelt Informationen ueber 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 Fuer alle ?COUNTRY, ?ELECTION,, , ?VOTING, and und ?VOTER
  • wenn ?COUNTRY ist ein fall von Nation %n{nicht} und ?ELECTION ist ein fall von ElectionFn ?COUNTRY %n{nicht} und ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht},
  • dann ?VOTER ist der buerger von ?COUNTRY
enthaelt Informationen ueber 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 Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE enthaelt Informationen ueber 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 Fuer alle ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE enthaelt Informationen ueber 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 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM und biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS und ?SAMPLE ist ein fall von ?SUBSTANCE %n{nicht} und ?THERAPY ist ein fall von ?PROCESS %n{nicht} und ?ORGANISM erfaehrt ?THERAPY %n{nicht} und ?SAMPLE ist ein patient von ?THERAPY %n{nicht} verringert die Wahrscheinlichkeit von ?SYMPTOM ist ein attribut von ?ORGANISM %n{nicht} %n{nicht}
(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 Es gibt ?X, ?CUT,, , ?PAPER,, , ?CBO, and und ?INFO um ?X ist ein fall von PaperShredder %n{nicht} und ?CUT ist ein fall von Cutting %n{nicht} und ?X ist ein instrument fuer ?CUT %n{nicht} und ?PAPER ist ein fall von Paper %n{nicht} und ?PAPER ist ein patient von ?CUT %n{nicht} und ?CBO befindet sich an %n{nicht} und ?CBO ist ein fall von VisualContentBearingObject %n{nicht} und ?CBO enthaelt Informationen ueber ?INFO verringert die Wahrscheinlichkeit von es gibt ?READ um ?READ ist ein fall von Interpreting %n{nicht} und ?INFO ist ein patient von ?READ %n{nicht} und die zeit des Bestehens von ?CUT geschieht frueh als die zeit des Bestehens von ?READ %n{nicht} %n{nicht}
(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 GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(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 GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 31734-31739 OrganismPopulationFn Organism and GeographicArea ist gleich die Zahl Faellen in die kategorie die ** OrganismI beschreibt %n{nicht}
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 31712-31717 PopulationFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(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 GeopoliticalArea and Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))		 Medicine.kif 4559-4564 Es gibt Process und Entity um ** Process ist ein fall von Disseminating %n{nicht} und ** Process ist der agent von Netflix %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein fall von MotionPicture %n{nicht}
(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))		 Medicine.kif 4566-4569 Es gibt Process um ** Process ist ein fall von FilmMaking %n{nicht} und ** Process ist der agent von Netflix %n{nicht}
(exists (?H)
    (and
        (attribute ?H NewReporter)
        (employs ProPublica ?H)))		 Medicine.kif 4590-4593 Es gibt CognitiveAgent um NewReporter ist ein attribut von ** CognitiveAgent %n{nicht} und ProPublica beschaeftigt ** CognitiveAgent %n{nicht}
(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))		 ComputingBrands.kif 2453-2457 Es gibt TimePosition um ** TimePosition ist ein fall von das jahr 1976 %n{nicht} und coworker SteveJobsOfApple and SteveWozniakOfApple haelt waehrend ** TimePosition %n{nicht}
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))		 ComputingBrands.kif 2441-2445 Es gibt TimePosition um ** TimePosition ist ein fall von das jahr 2002 %n{nicht} und coworker SteveJobsOfApple and TimCookOfApple haelt waehrend ** TimePosition %n{nicht}
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5109-5112 Es gibt ** Object um ** Object ist eine teilkategorie von HandToolBox und manufacturer ** ** Object and SortimoCorp
(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 Es gibt TimeInterval um ** TimeInterval ist ein fall von TimeInterval %n{nicht} und ** TimeInterval beendet die zeit des Bestehens von JesusOfNazareth %n{nicht} und ** TimeInterval beginnt die zeit des Bestehens von TwelveApostles %n{nicht} und fuer alle entity
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))		 ComputingBrands.kif 3309-3315 IBookstore hat Zweck von es gibt ?D um ?D ist ein fall von DownloadingOverNetwork %n{nicht} und IBookstore ist ein instrument fuer ?D %n{nicht} und ?T ist ein fall von Text %n{nicht} und objectTransferred ?D and ?T %n{nicht}
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2501-2504 Serbia ist ein fall von EuropeanNation %n{nicht} und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2496-2499 Serbia ist ein fall von IndependentState %n{nicht} und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(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 und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2528-2531 TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von EuropeanNation %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2523-2526 TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von IndependentState %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(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 Year ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}


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