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 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包含 另一个 串列 和 第三 串列 和 那个 另外 串列 不 equal 空列表 和 那个 第三 串列 不 equal 空列表 若且唯若 对所有 正整数 和 另一个 正整数
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))		 Merge.kif 16020-16026 有认知的主事 是 人类 的 instance 和 对所有 施事体 那个 施事体 doesn't employs 那个 有认知的主事 若且唯若 失业的 是 那个 有认知的主事 的 attribute
(<=>
    (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 和 金融账户 是 金融账户 的 instance 和 那个 金融账户 的 currency 是 那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程 是 罚款 的 instance 和 那个 另外 过程 在 那个 金融账户 的 currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户 的 liqudity 是 高流动性
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 501-505
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9097-9102
(=>
    (and
        (citizen ?P ?C)
        (not
            (exists (?L)
                (located ?P ?L))))
    (located ?P ?C))		 Military.kif 772-778
(=>
    (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
(=>
    (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 1298-1309
(=>
    (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
(=>
    (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
(=>
    (and
        (graphPart ?PATH ?GRAPH)
        (not
            (instance ?GRAPH DirectedGraph)))
    (<=>
        (instance ?PATH
            (GraphPathFn ?NODE1 ?NODE2))
        (instance ?PATH
            (GraphPathFn ?NODE2 ?NODE1))))		 Merge.kif 5713-5719
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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

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 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
(<=>
    (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 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
(<=>
    (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 若且唯若 有存在 过程 和 另一个 过程 这样 那个 客体 是 制作音乐 的 instance 和 那个 过程 是 制作音乐 的 instance 和 那个 另外 过程 是 制作音乐 的 instance 和 那个 过程%n是那个 客体的subProcess 和 那个 另外 过程%n是那个 客体的subProcess 和 那个 过程 不 equal 那个 另外 过程 和 那个 过程 和 那个 客体 同时发生 和 那个 另外 过程 和 那个 客体 同时发生
(<=>
    (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 若且唯若 那个 客体 是 盐水区 的 instance 和 那个 客体 不 是 内陆水域 的 instance 和 物理 和 那个 客体 的 distance 是 长度测量 和 那个 长度测量 是 greaterThan 5 海里
(<=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3))))		 Merge.kif 8946-8952 客体 connects 另一个 客体 和 第三 客体 若且唯若 那个 客体 和 那个 另外 客体 是 connected 和 那个 客体 和 那个 第三 客体 是 connected 和 那个 另外 客体 和 那个 第三 客体 不 是 connected
(<=>
    (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 人类 另一个 人类 是 cousins 若且唯若 有存在 女人 和 人 这样 那个 人类 的 grandmother 是 那个 女人 和 那个 人类 的 grandfather 是 那个 人 和 那个 另外 人类 的 grandmother 是 那个 女人 和 那个 另外 人类 的 grandfather 是 那个 人 和 不存在 生物 和 另一个 生物 这样 那个 生物 是 那个 人类 的 mother 和 那个 另外 生物 是 那个 人类 father 和 那个 生物 是 那个 另外 人类 的 mother 和 那个 另外 生物 是 那个 另外 人类 father
(<=>
    (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 地缘政治区域 和 整数 year 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
(<=>
    (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 地缘政治区域 和 整数 year 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
(<=>
    (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 地缘政治区域 和 整数 year 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
(<=>
    (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 地缘政治区域 和 整数 year 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 数量) equal 1 和 那个 地缘政治区域 的 population equal 另一个 数量 在 那个 整数 year holdsDuring 和 那个 另外 数量 和 1000 equal 第三 数量 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 第三 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 另外 整数 和 那个 第三 整数) equal 第四 数量 和 那个 第四 数量 和 那个 第三 数量 equal 那个 实数
(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))		 Mid-level-ontology.kif 28295-28303 Barefoot 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 鞋 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))		 Mid-level-ontology.kif 28307-28315 Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
(<=>
    (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 Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved
(<=>
    (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 Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 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 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 元素物质 的 instance 和 那个 另外 客体 是 元素物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(<=>
    (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 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(<=>
    (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 若且唯若 有存在 图弧， 另一个 图弧,， ， 图节点， and 和 另一个 图节点 这样 那个 图弧 是 那个 图 的 part 和 那个 另外 图弧 是 那个 图 的 part 和 那个 图节点 是 那个 图 的 part 和 那个 另外 图节点 是 那个 图 的 part 和 那个 图弧 links 那个 图节点 和 那个 另外 图节点 和 那个 另外 图弧 links 那个 图节点 和 那个 另外 图节点 和 那个 图弧 不 equal 那个 另外 图弧
(<=>
    (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 若且唯若 有存在 物理 这样 那个 物理 是 那个 过程 的 patient 和 那个 物理 在 那个 过程 出现 的 time 的结束 是 存在 和 那个 物理 在 那个 过程 出现 的 time 的开始 是 doesn't 存在
(<=>
    (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 若且唯若 有存在 物理 这样 那个 物理 是 那个 过程 的 patient 和 那个 物理 在 那个 过程 出现 的 time 的开始 是 存在 和 那个 物理 在 那个 过程 出现 的 time 的结束 是 doesn't 存在
(<=>
    (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 长度测量 是 地理区域 的未分类规格轨道 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
(<=>
    (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 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏 的 instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程2%n是那个 过程的subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程 causes 那个 过程2
(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 11460-11467 公式 的声明 has 合法 的语气 若且唯若 不存在 另一个 公式 这样 那个 另外 公式 的声明 has 法 的语气 和 那个 另外 公式 不 是 那个 公式 的 consistent
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))		 Merge.kif 16180-16182 公式 的声明 has 必要性 的语气 若且唯若 那个 公式 的声明 doesn't have 可能性 的语气
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 16243-16245 公式 的声明 has 义务 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))		 Merge.kif 16279-16281 公式 的声明 has 禁令 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气

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 塞尔维亚和黑山 不 是 独立国家 的 instance 在 3 day 之后 holdsDuring

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


(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))		 ComputerInput.kif 2026-2030 ~{ GUIElement 有 state GUE_NonVisibleState } 或 ~{ 那个 GUIElement 有 state GUE_ActiveState } 或 ~{ 那个 GUIElement 是 InterfaceWindow 的 instance }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))		 ComputerInput.kif 2241-2244 ~{ GUIElement 是 Cursor 的 instance } 或 ~{ 那个 GUIElement 有 state GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))		 ComputerInput.kif 1967-1970 ~{ GUIElement 是 MouseCursor 的 instance } 或 ~{ 那个 GUIElement 有 state GUE_ActiveState }
(not
    (equal BigSix GroupOf6))		 Government.kif 2846-2846 大六 不 equal 6人组
(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 不存在 图路径 和 另一个 图路径 这样 那个 图路径 是 把 图 分成另外两个图的路径 Set 的 instance 和 那个 另外 图路径 是 把 那个 图 分成另外两个图的最短路径 Set 的 instance 和 那个 图路径 的 length 是 正整数 和 那个 另外 图路径 的 length 是 另一个 正整数 和 那个 正整数 是 lessThan 那个 另外 正整数
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3150-3150 丹麦 不 是 欧洲货币联盟 的 member
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3151-3151 瑞典 不 是 欧洲货币联盟 的 member
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3152-3152 英国 不 是 欧洲货币联盟 的 member
(not
    (overlapsTemporally CommonEra BeforeCommonEra))		 Mid-level-ontology.kif 7593-7593 共同的时代之前 时段 doesn't 和 共同时代 重叠
(not
    (vegetationType ArcticRegion BotanicalTree))		 Geography.kif 3444-3444 不 植物树 是 found 在 北极地区


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