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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - not
not

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


(termFormat ChineseLanguage not "不") domainEnglishFormat.kif 41285-41285
(termFormat ChineseTraditionalLanguage not "不") domainEnglishFormat.kif 41284-41284
(termFormat EnglishLanguage not "not") domainEnglishFormat.kif 41283-41283

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


(<=>
    (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 Processus est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus liquidity FinancialAccount and HighLiquidity
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))		 Merge.kif 17325-17333 Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 506-510
(=>
    (and
        (attribute ?FOOD1 FamilyStylePortion)
        (measure ?FOOD1
            (MeasureFn ?MEAS1 ?U))
        (not
            (attribute ?FOOD2 FamilyStylePortion))
        (measure ?FOOD2
            (MeasureFn ?MEAS2 ?U))
        (instance ?FOOD1 ?CLASS)
        (instance ?FOOD2 ?CLASS)
        (instance ?U UnitOfMeasure))
    (greaterThan ?MEAS1 ?MEAS2))		 Dining.kif 1165-1176
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))		 Medicine.kif 172-187
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))		 Medicine.kif 155-170
(=>
    (and
        (attribute ?H1 ADHD)
        (not
            (attribute ?H2 ADHD))
        (not
            (equal ?H1 ?H2))
        (instance ?I1 ?IC)
        (instance ?I2 ?IC)
        (subclass ?IC IntentionalPsychologicalProcess)
        (agent ?I1 ?H1)
        (agent ?I2 ?H2)
        (duration
            (WhenFn ?I1) ?D1)
        (duration
            (WhenFn ?I2) ?D2))
    (modalAttribute
        (greaterThan ?D2 ?D1) Likely))		 Medicine.kif 3984-4004
(=>
    (and
        (attribute ?O ?P)
        (instance ?P Fingerprint)
        (not
            (instance ?O Finger)))
    (exists (?PR ?F)
        (and
            (instrument ?PR ?F)
            (instance ?F Finger)
            (attribute ?F ?P)
            (patient ?PR ?O))))		 Mid-level-ontology.kif 12564-12574
(=>
    (and
        (attribute ?O Concave)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Outside))		 ComputingBrands.kif 2693-2704
(=>
    (and
        (attribute ?O Convex)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Inside))		 ComputingBrands.kif 2665-2676
(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))		 Mid-level-ontology.kif 4071-4088
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9751-9756
(=>
    (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
        (concentration
            (MeasureFn ?N1 ?U) ?S
            (MeasureFn ?N2 ?U2) ?M)
        (instance ?SI ?S)
        (part ?SI ?M)
        (measure ?SI
            (MeasureFn ?N3 ?U3))
        (part ?SI ?M)
        (not
            (instance ?SI2 ?S))
        (not
            (equal ?SI ?SIE2))
        (part ?SI2 ?M)
        (measure ?M
            (MeasureFn ?N2 ?U2)))
    (approximateValue ?N1 ?N3))		 Medicine.kif 234-249
(=>
    (and
        (conditionalProbability
            (attribute ?X ComfortFood)
            (attribute ?X HeartHealthyFood) ?NUMBER1)
        (conditionalProbability
            (attribute ?X ComfortFood)
            (not
                (attribute ?X HeartHealthyFood)) ?NUMBER2))
    (lessThan ?NUMBER1 ?NUMBER2))		 Dining.kif 1148-1156
(=>
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3)))
    (connects ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 9590-9596
(=>
    (and
        (connectedBodyPartTypes ?P1 ?P2 ?O)
        (instance ?OC ?O)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?PC1 ?PC2)
        (and
            (instance ?PC1 ?P1)
            (instance ?PC2 ?P2)
            (not
                (equal ?PC1 ?PC2))
            (part ?PC1 ?OC)
            (part ?PC2 ?OC)
            (connected ?PC1 ?PC2))))		 Anatomy.kif 32-46
(=>
    (and
        (contraryAttribute @ROW)
        (equal ?ATTR1
            (ListOrderFn
                (ListFn @ROW) ?NUMBER1))
        (equal ?ATTR2
            (ListOrderFn
                (ListFn @ROW) ?NUMBER2))
        (not
            (equal ?NUMBER1 ?NUMBER2))
        (property ?OBJ ?ATTR1))
    (not
        (property ?OBJ ?ATTR2)))		 Merge.kif 476-484
(=>
    (and
        (customer ?CUST ?AGENT)
        (corkageFee ?AMT ?ITEM ?AGENT)
        (instance ?X ?ITEM)
        (not
            (exists (?B)
                (and
                    (instance ?B Buying)
                    (patient ?B ?X)
                    (destination ?B ?CUST)
                    (origin ?B ?AGENT))))
        (instance ?D Drinking)
        (agent ?D ?CUST)
        (resource ?D ?X))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (refers ?C ?X)
            (destination ?C ?AGENT))))		 Dining.kif 130-150
(=>
    (and
        (engineeringSubcomponent ?DEVICE1 Internet)
        (engineeringSubcomponent ?DEVICE2 Internet)
        (not
            (equal ?DEVICE1 ?DEVICE2)))
    (hasPurpose Internet
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (agent ?COMM ?DEVICE1)
                (destination ?COMM ?DEVICE2)
                (instrument ?COMM Internet)))))		 Hotel.kif 1347-1358
(=>
    (and
        (equal
            (GreatestCommonDivisorFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))		 Merge.kif 4862-4873
(=>
    (and
        (equal
            (GreatestCommonDivisorFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (not
        (exists (?GREATER)
            (and
                (greaterThan ?GREATER ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?ELEMENT ?GREATER) 0)))))))		 Merge.kif 4875-4889
(=>
    (and
        (equal
            (LeastCommonMultipleFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))		 Merge.kif 4947-4957
(=>
    (and
        (equal
            (LeastCommonMultipleFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (not
        (exists (?LESS)
            (and
                (lessThan ?LESS ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?LESS ?ELEMENT) 0)))))))		 Merge.kif 4959-4973
(=>
    (and
        (equal
            (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
        (not
            (equal ?NUMBER 0))
        (not
            (equal ?NUMBER1 0))
        (not
            (equal ?NUMBER2 0)))
    (equal
        (SignumFn ?NUMBER2)
        (SignumFn ?NUMBER)))		 Merge.kif 5131-5143

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 30202-30212 Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
(<=>
    (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 12512-12519 Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus
(<=>
    (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 Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (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 Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (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 Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (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 Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
(<=>
    (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 744-755 PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet
(<=>
    (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 est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0
(<=>
    (cousin ?P1 ?P2)
    (and
        (exists (?G1 ?G2)
            (and
                (grandmother ?P1 ?G1)
                (grandfather ?P1 ?G2)
                (grandmother ?P2 ?G1)
                (grandfather ?P2 ?G2)))
        (not
            (exists (?M ?F)
                (and
                    (mother ?P1 ?M)
                    (father ?P1 ?F)
                    (mother ?P2 ?M)
                    (father ?P2 ?F))))))		 Mid-level-ontology.kif 23113-23128 cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�re de humain
(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))		 Mid-level-ontology.kif 30156-30164 Barefoot est un attribut de entit� pendant position temporel entit� entit� est une instance de Shoe entit� porte entit� pendant position temporel
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))		 Mid-level-ontology.kif 30169-30177 Naked est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement entit� porte entit� pendant position temporel
(<=>
    (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 30247-30260 Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�2
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))		 Mid-level-ontology.kif 30295-30303 Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent
(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))		 Mid-level-ontology.kif 6472-6482 Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))		 Transportation.kif 294-306 lengthOfUnclassifiedGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
(<=>
    (manner ?P Harmless)
    (and
        (not
            (instance ?P Damaging))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (subProcess ?P2 ?P))))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (causes ?P ?P2))))))		 Mid-level-ontology.kif 30320-30334 Processus est ex�cut� de la fa�on Harmless processus est une instance de endommager processus2 processus2 est une instance de endommager processus2 est un sous-processus de processus processus2 processus2 est une instance de endommager processus cause processus2
(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 13877-13884 L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))		 Merge.kif 17487-17489 L'argument formule a la force modale de Necessity l'argument formule n' %n{pas} la force modale de Possibility
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17550-17552 L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))		 Merge.kif 17586-17588 L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de Permission
(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))		 Mid-level-ontology.kif 9146-9149 Objet est Outside � objet objet est partiellement localis� � objet
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 23204-23211 stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 23221-23228 stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))		 Mid-level-ontology.kif 14118-14125
(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))		 Mid-level-ontology.kif 14082-14085

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))		 Media.kif 2546-2550 Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel

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


(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))		 ComputerInput.kif 2011-2015 ~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement est une instance de InterfaceWindow }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))		 ComputerInput.kif 2226-2229 ~{ GUIElement est une instance de Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))		 ComputerInput.kif 1952-1955 ~{ GUIElement est une instance de MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState }
(not
    (equal BigSix GroupOf6))		 Government.kif 2879-2879 BigSix est GroupOf6
(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))		 Merge.kif 6100-6107 Chemin du graph chemin du graph chemin du graph est une instance de l' ensemble de chemins qui partitionnent graph en deux graph s�par� chemin du graph est une instance de l' ensemble minimal de chemins qui partitionnent graph en deux graph s�par� la longueur de chemin du graph est nombre entier positif la longueur de chemin du graph est nombre entier positif nombre entier positif est moins que nombre entier positif
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3183-3183 Denmark est un membre de EuropeanMonetaryUnion
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3184-3184 Sweden est un membre de EuropeanMonetaryUnion
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3185-3185 UnitedKingdom est un membre de EuropeanMonetaryUnion
(not
    (overlapsTemporally CommonEra BeforeCommonEra))		 Mid-level-ontology.kif 7918-7918 BeforeCommonEra ne recouvre %n{pas} CommonEra
(not
    (vegetationType ArcticRegion BotanicalTree))		 Geography.kif 3585-3585 vegetationType ArcticRegion and BotanicalTree


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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