not - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat ChineseLanguage not "不")	domainEnglishFormat.kif 41179-41179
(termFormat ChineseTraditionalLanguage not "不")	domainEnglishFormat.kif 41178-41178
(termFormat EnglishLanguage not "not")	domainEnglishFormat.kif 41177-41177

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 2972-2988	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 16020-16026	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 1754-1764	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 ?MEAS1) (not (attribute ?FOOD2 FamilyStylePortion)) (measure ?FOOD2 ?MEAS2) (instance ?FOOD1 ?CLASS) (instance ?FOOD2 ?CLASS)) (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1115-1123	attribute Object and FamilyStylePortion measure Object and PhysicalQuantity attribute Object and FamilyStylePortion measure Object and PhysicalQuantity instance Object and SetOrClass instance Object and SetOrClass greaterThan PhysicalQuantity and PhysicalQuantity
(=> (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 10258-10268	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 2666-2677	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 2634-2645	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 9097-9102	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 1098-1106	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 1298-1309	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 16043-16057	equal Organization and DepartmentOfFn Organization and Physical subOrganization Organization and Organization 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 2605-2613	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 5713-5719	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 4352-4369	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_MaximizedState) (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 2135-2146	hasGUEState GUIElement and GUE_UncoveredState hasGUEState GUIElement and GUE_MaximizedState 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 28807-28828	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 ?S1-START (BeginFn (WhenFn ?S1))) (equal ?S2-START (BeginFn (WhenFn ?S2))) (not (or (before ?S1-START ?S2-START) (before ?S2-START ?S1-START)))) (equal ?S1 ?S2))	Mid-level-ontology.kif 675-688	instance Process and Ambulating subProcess Process and Process instance Process and Stepping subProcess Process and Process instance Process and Stepping equal Process-START and BeginFn WhenFn Process equal Process-START and BeginFn WhenFn Process before Process-START and Process-START before Process-START and Process-START equal Process and Process
(=> (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 844-857	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) (patient ?P ?W))))	Mid-level-ontology.kif 2616-2629	instance Agent and Animal instance Attribute and DiseaseOrSyndrome attribute Agent and Attribute Process Entity instance Process and BiologicalProcess instance Process and Removing origin Process and Agent instance Entity and Sewage agent Process and Agent patient Process and Entity
(=> (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 5313-5322	instance Object and Bubble Object Attribute attribute Object and Attribute equal Object and Gas meetsSpatially Object and Object attribute Object and RoundShape
(=> (and (instance ?BTS BimetalTemperatureSensor) (instance ?M1 Metal) (instance ?M2 Metal) (not (equal ?M1 ?M2)) (part ?M1 ?BTS) (part ?M2 ?BTS) (instance ?T1 TemperatureMeasure) (instance ?T2 TemperatureMeasure) (instance ?L1 LengthMeasure) (instance ?L2 LengthMeasure) (instance ?L3 LengthMeasure) (instance ?L4 LengthMeasure) (not (equal ?T1 ?T2)) (not (equal ?TM1 ?TM2)) (holdsDuring ?TM1 (and (measure ?BTS ?T1) (measure ?M1 ?L1) (measure ?M2 ?L2))) (holdsDuring ?TM2 (and (measure ?BTS ?T2) (measure ?M1 ?L3) (measure ?M2 ?L4)))) (not (equal (DivisionFn ?L1 ?L2) (DivisionFn ?L3 ?L4))))	Cars.kif 4054-4086	instance Object and BimetalTemperatureSensor instance Object and Metal instance Object and Metal equal Object and Object part Object and Object part Object and Object instance Entity and TemperatureMeasure instance Entity and TemperatureMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure equal Entity and Entity equal TimePosition and TimePosition holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity equal DivisionFn Quantity and Quantity and DivisionFn Quantity and Quantity

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 28338-28348	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 11520-11527	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 926-937	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 ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile))))	Geography.kif 4421-4429	attribute Object and OpenSea instance Object and SaltWaterArea instance Object and LandlockedWater distance Physical, Object and LengthMeasure greaterThan LengthMeasure and MeasureFn 5 and NauticalMile
(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 8946-8952	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 20967-20982	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 Quantity and 1 holdsDuring YearFn Integer and equal PopulationFn GeopoliticalArea and Quantity equal DivisionFn Quantity and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring YearFn Quantity 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 Quantity and inhabits SymbolicString and GeopoliticalArea holdsDuring YearFn Integer and inhabits SymbolicString and GeopoliticalArea equal SubtractionFn Integer and Integer and Quantity equal DivisionFn Quantity and Quantity and RealNumber
(<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S))))))	Mid-level-ontology.kif 28295-28303	holdsDuring TimePosition and attribute entity and Barefoot holdsDuring TimePosition and entity instance entity and Shoe wears entity and entity
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))))	Mid-level-ontology.kif 28307-28315	holdsDuring TimePosition and attribute entity and Naked holdsDuring TimePosition and entity instance entity and Clothing wears entity and entity
(<=> (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 28381-28394	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 28427-28435	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 11589-11599	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 6166-6176	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 5442-5452	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 11837-11844	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 11385-11392	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 291-303	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 28444-28458	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 11460-11467	modalAttribute Formula and Legal Formula modalAttribute Formula and Law consistent Formula and Formula
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 16180-16182	modalAttribute Formula and Necessity modalAttribute Formula and Possibility
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 16243-16245	modalAttribute Formula and Obligation modalAttribute Formula and Permission
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 16279-16281	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 2026-2030	~{ 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 2241-2244	~{ instance GUIElement and Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState)))	ComputerInput.kif 1967-1970	~{ instance GUIElement and MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState }
(not (equal BigSix GroupOf6))	Government.kif 2846-2846	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 5750-5757	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 3150-3150	member Denmark and EuropeanMonetaryUnion
(not (member Sweden EuropeanMonetaryUnion))	Government.kif 3151-3151	member Sweden and EuropeanMonetaryUnion
(not (member UnitedKingdom EuropeanMonetaryUnion))	Government.kif 3152-3152	member UnitedKingdom and EuropeanMonetaryUnion
(not (overlapsTemporally CommonEra BeforeCommonEra))	Mid-level-ontology.kif 7593-7593	overlapsTemporally CommonEra and BeforeCommonEra
(not (vegetationType ArcticRegion BotanicalTree))	Geography.kif 3444-3444	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: