not - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat ChineseLanguage not "不")	domainEnglishFormat.kif 41268-41268
(termFormat ChineseTraditionalLanguage not "不")	domainEnglishFormat.kif 41267-41267
(termFormat EnglishLanguage not "not")	domainEnglishFormat.kif 41266-41266

antecedent

(<=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList))) (forall (?NUMBER1 ?NUMBER2) (=> (and (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2))))))	Merge.kif 3012-3028	equal List and ListConcatenateFn List and List equal List and NullList equal List and NullList PositiveInteger PositiveInteger lessThanOrEqualTo PositiveInteger and ListLengthFn List lessThanOrEqualTo PositiveInteger and ListLengthFn List instance PositiveInteger and PositiveInteger instance PositiveInteger and PositiveInteger equal ListOrderFn List and PositiveInteger and ListOrderFn List and PositiveInteger equal ListOrderFn List and AdditionFn ListLengthFn List and PositiveInteger and ListOrderFn List and PositiveInteger
(<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed))	Merge.kif 16549-16555	instance CognitiveAgent and Human Agent employs Agent and CognitiveAgent attribute CognitiveAgent and Unemployed
(<=> (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 1788-1798	instance Process and Withdrawal instance FinancialAccount and FinancialAccount origin Process and CurrencyFn FinancialAccount Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process liquidity FinancialAccount and HighLiquidity
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 501-505	attribute Agent and HighIncomeCountry member Agent and OrganizationOfPetroleumExportingCountries economyType Agent and DevelopedCountry
(=> (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 1118-1129	attribute Object and FamilyStylePortion measure Object and MeasureFn RealNumber and UnitOfMeasure attribute Object and FamilyStylePortion measure Object and MeasureFn RealNumber and UnitOfMeasure instance Object and Class instance Object and Class instance UnitOfMeasure and UnitOfMeasure greaterThan RealNumber and RealNumber
(=> (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 11750-11760	attribute Object and Attribute instance Attribute and Fingerprint instance Object and Finger AttributeR Object instrument AttributeR and Object instance Object and Finger attribute Object and Attribute patient AttributeR and Object
(=> (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 2652-2663	attribute SelfConnectedObject and 凹 surface SelfConnectedObject and SelfConnectedObject part Object and SelfConnectedObject part Object and SelfConnectedObject equal Object and Object と Object 間のライン equal Object and Object part Object and Object orientation Object, SelfConnectedObject and Outside
(=> (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 2624-2635	attribute SelfConnectedObject and 凸 surface SelfConnectedObject and SelfConnectedObject part Object and SelfConnectedObject part Object and SelfConnectedObject equal Object and Object と Object 間のライン equal Object and Object part Object and Object orientation Object, SelfConnectedObject and Inside
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above))	Merge.kif 9319-9324	bottom SelfConnectedObject and SelfConnectedObject part Object and SelfConnectedObject connected Object and SelfConnectedObject orientation Object, SelfConnectedObject and Above
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C))	Military.kif 772-778	citizen Human and Nation Object located Human and Object located Human and Nation
(=> (and (conditionalProbability (attribute ?X ComfortFood) (attribute ?X HeartHealthyFood) ?NUMBER1) (conditionalProbability (attribute ?X ComfortFood) (not (attribute ?X HeartHealthyFood)) ?NUMBER2)) (lessThan ?NUMBER1 ?NUMBER2))	Dining.kif 1101-1109	conditionalProbability attribute entity and ComfortFood, attribute entity and HeartHealthyFood and RealNumber conditionalProbability attribute entity and ComfortFood, attribute entity and HeartHealthyFood and RealNumber lessThan RealNumber and RealNumber
(=> (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	customer CognitiveAgent and CognitiveAgent corkageFee CurrencyMeasure, Object and CognitiveAgent instance Object and Object Process instance Process and Buying patient Process and Object destination Process and CognitiveAgent origin Process and CognitiveAgent instance Process and Drinking agent Process and CognitiveAgent resource Process and Object Process instance Process and Corkage agent Process and CognitiveAgent refers Process and Object destination Process and CognitiveAgent
(=> (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 1325-1336	engineeringSubcomponent EngineeringComponent and Internet engineeringSubcomponent EngineeringComponent and Internet equal EngineeringComponent and EngineeringComponent hasPurpose Internet and entity instance entity and Communication agent entity and EngineeringComponent destination entity and EngineeringComponent instrument entity and Internet
(=> (and (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (subOrganization ?DEP2 ?COMP) (not (equal ?DEP ?DEP2)) (instance ?I ?PHYS) (inScopeOfInterest ?P ?I) (equal ?P1 (ProbabilityFn (agent ?P ?DEP))) (equal ?P2 (ProbabilityFn (agent ?P ?DEP2)))) (greaterThan ?P1 ?P2))	Mid-level-ontology.kif 17409-17423	equal Organization and DepartmentOfFn Organization and Physical Organization は組織 Organization の一部では %n equal Organization and Organization instance Entity and Physical inScopeOfInterest CognitiveAgent and Entity equal CognitiveAgent and ProbabilityFn agent CognitiveAgent and Organization equal CognitiveAgent and ProbabilityFn agent CognitiveAgent and Organization greaterThan CognitiveAgent and CognitiveAgent
(=> (and (equal ?L (LineFn ?P1 ?P2)) (part ?OP1 ?L) (part ?OP2 ?L) (not (equal ?OP1 ?OP2)) (equal ?L2 (LineFn ?OP1 ?OP2))) (part ?L2 ?L))	ComputingBrands.kif 2595-2603	equal Object and Object と Object 間のライン part Object and Object part Object and Object equal Object and Object equal Object and Object と Object 間のライン part Object and Object
(=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1))))	Merge.kif 5835-5841	graphPart GraphElement and Graph instance Graph and DirectedGraph instance GraphElement and GraphPathFn GraphNode and GraphNode instance GraphElement and GraphPathFn GraphNode and GraphNode
(=> (and (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility))	ComputingBrands.kif 4398-4415	hasAccount CognitiveAgent and UserAccount password ComputerPassword and UserAccount deviceAccount UserAccount and Computer knows CognitiveAgent and password ComputerPassword and UserAccount knows CognitiveAgent and recoveryKey entity and UserAccount possesses CognitiveAgent and Computer modalAttribute entity instance entity and ChangingPassword patient entity and UserAccount agent entity and CognitiveAgent and Possibility
(=> (and (hasGUEState ?WIN1 GUE_UncoveredState) (hasGUEState ?WIN1 GUE_MaximizedWindowState) (screenOfGUIE ?WIN1 ?SCREEN) (instance ?WIN2 InterfaceWindow) (screenOfGUIE ?WIN2 ?SCREEN) (not (equal ?WIN1 ?WIN2))) (or (hasGUEState ?WIN2 GUE_CoveredState) (hasGUEState ?WIN2 GUE_PartiallyCoveredState) (hasGUEState ?WIN2 GUE_OffscreenState)))	ComputerInput.kif 2149-2160	hasGUEState GUIElement and GUE_UncoveredState hasGUEState GUIElement and GUE_MaximizedWindowState screenOfGUIE GUIElement and ComputerScreen instance GUIElement and InterfaceWindow screenOfGUIE GUIElement and ComputerScreen equal GUIElement and GUIElement hasGUEState GUIElement and GUE_CoveredState hasGUEState GUIElement and GUE_PartiallyCoveredState hasGUEState GUIElement and GUE_OffscreenState
(=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 29709-29730	holdsDuring TimeInterval and attribute Agent and Dieting holdsDuring TimeInterval and attribute Agent and Dieting instance Object and Meal instance Process and Eating agent Process and Agent resource Process and Object during WhenFn Process and TimeInterval measure Object and MeasureFn RealNumber and Calorie instance Object and Meal instance Process and Eating agent Process and Agent resource Process and Object during WhenFn Process and TimeInterval measure Object and MeasureFn RealNumber and Calorie modalAttribute greaterThan RealNumber and RealNumber and Likely
(=> (and (instance ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1START (BeginFn (WhenFn ?S1))) (equal ?S2START (BeginFn (WhenFn ?S2))) (not (or (before ?S1START ?S2START) (before ?S2START ?S1START)))) (equal ?S1 ?S2))	Mid-level-ontology.kif 472-485	instance Process and Ambulating subProcess Process and Process instance Process and Stepping subProcess Process and Process instance Process and Stepping equal ProcessSTART and BeginFn WhenFn Process equal ProcessSTART and BeginFn WhenFn Process before ProcessSTART and ProcessSTART before ProcessSTART and ProcessSTART equal Process and Process
(=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2)))	Merge.kif 11794-11808	instance Process and Attaching patient Process and Entity patient Process and Entity holdsDuring BeginFn WhenFn Process and connected Entity and Entity holdsDuring EndFn WhenFn Process and connected Entity and Entity objectAttached Process and Entity objectAttached Process and Entity
(=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1))	Cars.kif 853-866	instance PhysicalSystem and Automobile instance PhysicalSystem and Automobile instance Object and AutomobileShock part Object and PhysicalSystem Object instance Object and AutomobileShock part Object and PhysicalSystem dampingRatio PhysicalSystem and RealNumber dampingRatio PhysicalSystem and RealNumber greaterThan RealNumber and RealNumber
(=> (and (instance ?AGENT Agent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1))	Dining.kif 725-748	instance Agent and Agent potentialCustomer CognitiveAgent and Agent modalAttribute instance entity and Reserving destination entity and Agent and Necessity conditionalProbability entityES1 instance entityES1 and Reservation reservingEntity CognitiveAgent and entityES1 fulfillingEntity Agent and entityES1, customer CognitiveAgent and Agent and RealNumber conditionalProbability entityES2 instance entityES2 and Reservation reservingEntity CognitiveAgent and entityES2 fulfillingEntity Agent and entityES2, customer CognitiveAgent and Agent and RealNumber lessThan RealNumber and RealNumber
(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2100-2113	instance Agent and Animal instance Attribute and DiseaseOrSyndrome attribute Agent and Attribute Transfer Object instance Transfer and BiologicalProcess instance Transfer and Removing origin Transfer and Agent instance Object and Sewage agent Transfer and Agent objectTransferred Transfer and Object
(=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B RoundShape))	Mid-level-ontology.kif 4715-4724	instance Object and Bubble Object Attribute attribute Object and Attribute equal Object and Gas meetsSpatially Object and Object attribute Object and RoundShape

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 29225-29235	instance Entity and BodyPart holdsDuring TimePosition and attribute Entity and Bare holdsDuring TimePosition and entity instance entity and Clothing covers entity and Entity
(<=> (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 11877-11884	instance Process and Combining resource Process and Object result Process and Entity holdsDuring BeginFn WhenFn Process and part Object and Entity holdsDuring EndFn WhenFn Process and part Object and Entity
(<=> (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 695-706	attribute Object and PolyphonicMusic Process Process instance Object and MakingMusic instance Process and MakingMusic instance Process and MakingMusic subProcess Process and Object subProcess Process and Object equal Process and Process cooccur Process and Object cooccur Process and Object
(<=> (attribute ?WATER OpenSea) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER (MeasureFn ?DIST NauticalMile)) (greaterThan ?DIST 5)))	Geography.kif 4506-4514	attribute Object and OpenSea instance Object and SaltWaterArea instance Object and LandlockedWater distance Physical, Object and MeasureFn RealNumber and NauticalMile greaterThan RealNumber and 5
(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 9164-9170	connects Object, Object and Object connected Object and Object connected Object and Object connected Object and Object
(<=> (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 22151-22166	cousin Human and Human Woman Man grandmother Human and Woman grandfather Human and Man grandmother Human and Woman grandfather Human and Man Organism Organism mother Human and Organism father Human and Organism mother Human and Organism father Human and Organism
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 411-442	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 323-353	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 367-398	equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 174-202	equal MigrantsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal SubtractionFn Integer and Number and 1 holdsDuring YearFn Integer and equal PopulationFn GeopoliticalArea and Number equal DivisionFn Number and 1000 and Number equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring YearFn Number and inhabits SymbolicString and GeopoliticalArea holdsDuring YearFn Integer and inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring YearFn Number and inhabits SymbolicString and GeopoliticalArea holdsDuring YearFn Integer and inhabits SymbolicString and GeopoliticalArea equal SubtractionFn Integer and Integer and Number equal DivisionFn Number and Number and RealNumber
(<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S))))))	Mid-level-ontology.kif 29179-29187	holdsDuring TimePosition and attribute entity and Barefoot holdsDuring TimePosition and entity instance entity and Shoe entity は % を wears %n{ない}
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))))	Mid-level-ontology.kif 29192-29200	holdsDuring TimePosition and attribute entity and Naked holdsDuring TimePosition and entity instance entity and Clothing entity は % を wears %n{ない}
(<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 Agent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 29270-29283	holdsDuring TimeInterval and attribute Entity and Alone Entity Process equal Entity and Entity instance Entity and Agent instance Process and SocialInteraction during WhenFn Process and TimeInterval involvedInEvent Process and Entity involvedInEvent Process and Entity
(<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P)))))	Mid-level-ontology.kif 29318-29326	holdsDuring TimeInterval and attribute Agent and Mute Process instance Process and Speaking during WhenFn Process and TimeInterval agent Process and Agent
(<=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND))))	Merge.kif 11946-11956	instance Entity and CompoundSubstance Object Object and Process instance Object and ElementalSubstance instance Object and ElementalSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity
(<=> (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 6123-6133	instance Entity and ConjugatedSubstance Object Object and Process instance Object and CompoundSubstance instance Object and CompoundSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity
(<=> (instance ?GRAPH MultiGraph) (exists (?ARC1 ?ARC2 ?NODE1 ?NODE2) (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (links ?NODE1 ?NODE2 ?ARC1) (links ?NODE1 ?NODE2 ?ARC2) (not (equal ?ARC1 ?ARC2)))))	Merge.kif 5564-5574	instance Graph and MultiGraph GraphArc GraphArc, GraphNode and GraphNode graphPart GraphArc and Graph graphPart GraphArc and Graph graphPart GraphNode and Graph graphPart GraphNode and Graph links GraphNode, GraphNode and GraphArc links GraphNode, GraphNode and GraphArc equal GraphArc and GraphArc
(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS)))))))	Merge.kif 12194-12201	instance Process and Creation Physical patient Process and Physical time Physical and EndFn WhenFn Process time Physical and BeginFn WhenFn Process
(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (BeginFn (WhenFn ?PROCESS))) (not (time ?PATIENT (EndFn (WhenFn ?PROCESS)))))))	Merge.kif 11701-11708	instance Process and Destruction Physical patient Process and Physical time Physical and BeginFn WhenFn Process time Physical and EndFn WhenFn Process
(<=> (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 GeographicArea and LengthMeasure length KappaFn SymbolicString and located SymbolicString and GeographicArea instance SymbolicString and UnionFn StandardGaugeRailway and UnionFn BroadGaugeRailway and UnionFn DualGaugeRailway and NarrowGaugeRailway and LengthMeasure
(<=> (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 29343-29357	manner Process and Harmless instance Process and Damaging Process instance Process and Damaging subProcess Process and Process Process instance Process and Damaging causes Process and Process
(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13041-13048	modalAttribute Formula and Legal Formula modalAttribute Formula and Law consistent Formula and Formula
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 16709-16711	modalAttribute Formula and Necessity modalAttribute Formula and Possibility
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 16772-16774	modalAttribute Formula and Obligation modalAttribute Formula and Permission
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 16808-16810	modalAttribute Formula and Prohibition modalAttribute Formula and Permission

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (not
        (instance SerbiaAndMontenegro IndependentState)))

Media.kif 2519-2520

holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance SerbiaAndMontenegro and IndependentState

appearance as argument number 0

(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow)))	ComputerInput.kif 2040-2044	~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ instance GUIElement and InterfaceWindow }
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState)))	ComputerInput.kif 2255-2258	~{ instance GUIElement and Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState)))	ComputerInput.kif 1981-1984	~{ instance GUIElement and MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState }
(not (equal BigSix GroupOf6))	Government.kif 2891-2891	equal BigSix and 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 5872-5879	GraphPath GraphPath instance GraphPath and CutSetFn Graph instance GraphPath and MinimalCutSetFn Graph pathLength GraphPath and PositiveInteger pathLength GraphPath and PositiveInteger lessThan PositiveInteger and PositiveInteger
(not (member Denmark EuropeanMonetaryUnion))	Government.kif 3195-3195	member Denmark and EuropeanMonetaryUnion
(not (member Sweden EuropeanMonetaryUnion))	Government.kif 3196-3196	member Sweden and EuropeanMonetaryUnion
(not (member UnitedKingdom EuropeanMonetaryUnion))	Government.kif 3197-3197	member UnitedKingdom and EuropeanMonetaryUnion
(not (overlapsTemporally CommonEra BeforeCommonEra))	Mid-level-ontology.kif 7536-7536	overlapsTemporally CommonEra and BeforeCommonEra
(not (vegetationType ArcticRegion BotanicalTree))	Geography.kif 3466-3466	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

KB Term:			Term intersection

English Word: