not - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat ChineseLanguage not "不")	domainEnglishFormat.kif 41203-41203	termFormat ChineseLanguage, not and "不"
(termFormat ChineseTraditionalLanguage not "不")	domainEnglishFormat.kif 41202-41202	termFormat ChineseTraditionalLanguage, not and "不"
(termFormat EnglishLanguage not "not")	domainEnglishFormat.kif 41201-41201	termFormat EnglishLanguage, not and "not"

antecedent

(<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed))	Merge.kif 21976-21982	認識エージェントは人［人間］の instance では %n 代理(人) 代理(人) は認識エージェントを employ ない Unemployed は認識エージェントの attribute では %n
(<=> (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 1756-1766	工程は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 工程は CurrencyFn FinancialAccount から originates %n{ない} 工程工程は Penalty の instance では %n 工程は CurrencyFn FinancialAccount に ends %n{ない} 工程は工程を causes %n{ない} liquidity FinancialAccount and HighLiquidity
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 501-505	HighIncomeCountry は代理(人) の attribute では %n 代理(人) は OrganizationOfPetroleumExportingCountries の member では economyType 代理(人) 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 1119-1127	FamilyStylePortion はオブジェクトの attribute では %n オブジェクトの measure は物理量では %n FamilyStylePortion はオブジェクトの attribute ではオブジェクトの measure は物理量では %n オブジェクトは同じセットまたはクラスの instance では %n オブジェクトは同じセットまたはクラスの instance では %n 物理量は物理量より greater では　%n
(=> (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 10256-10266	エンティティーはオブジェクトの attribute では %n エンティティーは Fingerprint の instance では %n オブジェクトは Finger の instance ではエンティティーR オブジェクトオブジェクトはエンティティーR の instrument では %n オブジェクトは Finger の instance では %n エンティティーはオブジェクトの attribute では %n オブジェクトはエンティティーR の patient では %n
(=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?P)) (orientation ?PL ?O Inside))	ComputingBrands.kif 2507-2518	凹は自己接続オブジェクトの attribute では %n 自己接続オブジェクトは自己接続オブジェクトの surface では %n オブジェクトは自己接続オブジェクトの part では %n オブジェクトは自己接続オブジェクトの part では %n オブジェクトはオブジェクトとオブジェクト間のラインと equal では %n オブジェクトはオブジェクトと equal ではオブジェクトはオブジェクトの part では %n オブジェクトは Inside 対自己接続オブジェクトでは %n
(=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?P)) (orientation ?PL ?O Outside))	ComputingBrands.kif 2475-2486	凸は自己接続オブジェクトの attribute では %n 自己接続オブジェクトは自己接続オブジェクトの surface では %n オブジェクトは自己接続オブジェクトの part では %n オブジェクトは自己接続オブジェクトの part では %n オブジェクトはオブジェクトとオブジェクト間のラインと equal では %n オブジェクトはオブジェクトと equal ではオブジェクトはオブジェクトの part では %n オブジェクトは Outside 対自己接続オブジェクトでは %n
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above))	Merge.kif 13437-13442	自己接続オブジェクトの bottom は自己接続オブジェクトでは %n オブジェクトは自己接続オブジェクトの part では %n オブジェクトは自己接続オブジェクトと connected してオブジェクトは Above 対自己接続オブジェクトでは %n
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C))	Military.kif 772-778	人［人間］は国民% の citizen では %n オブジェクト人［人間］はオブジェクトに located して %n 人［人間］は国民に located して %n
(=> (and (conditionalProbability (attribute ?X ComfortFood) (attribute ?X HeartHealthyFood) ?NUMBER1) (conditionalProbability (attribute ?X ComfortFood) (not (attribute ?X HeartHealthyFood)) ?NUMBER2)) (lessThan ?NUMBER1 ?NUMBER2))	Dining.kif 1102-1110	HeartHealthyFood はエンティティーの attribute では %n が実数では場合の ComfortFood はエンティティーの attribute では %n の probability HeartHealthyFood はエンティティーの attribute ではが実数では場合の ComfortFood はエンティティーの attribute では %n の probability 実数は実数より less では %n
(=> (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)))) (holdsDuring (WhenFn (located ?CUST ?LOC)) (and (instance ?P IntentionalProcess) (or (patient ?P ?X) (resource ?P ?X) (instrument ?P ?X)) (agent ?P ?CUST)))) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (destination ?C ?AGENT))))	Dining.kif 130-153	customer 認識エージェント and 認識エージェント corkageFee 通貨測定, オブジェクト and 認識エージェントエンティティーはオブジェクトの instance では %n 工程工程は購買の instance では %n エンティティーは工程の patient では %n 工程は認識エージェントに ends %n{ない} 工程は認識エージェントから originates %n{ない} エンティティーは意図的なプロセスの instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの resource では %n エンティティーはエンティティーの instrument では %n 認識エージェントはエンティティーの agent では %n は認識エージェントはエンティティーに located して %n の time の existence の during holds %n{ない} 工程工程は Corkage の instance では %n 認識エージェントは工程の agent では %n 工程は認識エージェントに ends %n{ない}
(=> (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 1294-1305	エンジニアリング部品は Internet の component では %n エンジニアリング部品は Internet の component では %n エンジニアリング部品はエンジニアリング部品と equal では Internet はエンティティーエンティティーはコミュニケーションの instance では %n エンジニアリング部品はエンティティーの agent では %n エンティティーはエンジニアリング部品に ends %n{ない} Internet はエンティティーの instrument では %n の目的 %n{ない}
(=> (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 2446-2454	オブジェクトはオブジェクトとオブジェクト間のラインと equal では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトと equal ではオブジェクト2 はオブジェクトとオブジェクト間のラインと equal では %n オブジェクト2 はオブジェクトの part では %n
(=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1))))	Merge.kif 8701-8707	グラフ要素はグラフの part では %n グラフは有向グラフの instance ではグラフ要素はグラフノードとグラフノード間のパスの set の instance では %n グラフ要素はグラフノードとグラフノード間のパスの set の instance では %n
(=> (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 1689-1700	hasGUEState GUIElement and GUE_UncoveredState hasGUEState GUIElement and GUE_MaximizedState screenOfGUIE GUIElement and InterfaceScreen GUIElement は InterfaceWindow の instance では %n screenOfGUIE GUIElement and InterfaceScreen GUIElement は GUIElement と equal では 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 28799-28820	Dieting は代理(人) の attribute では %n は時間間隔の during holds %n{ない} Dieting は代理(人) の attribute ではは時間間隔の during holds %n{ない} オブジェクトは Meal の instance では %n 工程は摂食の instance では %n 代理(人) は工程の agent では %n オブジェクトは工程の resource では %n 工程の time の existence は時間間隔の during に takes %n{ない} オブジェクトの measure は実数の Calorie(s) では %n オブジェクトは Meal の instance では %n 工程は摂食の instance では %n 代理(人) は工程の agent では %n オブジェクトは工程の resource では %n 工程の time の existence は時間間隔の during に takes %n{ない} オブジェクトの measure は実数の Calorie(s) では %n ステートメント実数は実数より greater では　%n には Likely の modal force がある
(=> (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 676-689	工程は Ambulating の instance では %n 工程は工程% の subprocess では %n 工程は Stepping の instance では %n 工程は工程% の subprocess では %n 工程は Stepping の instance では %n 工程-START は工程の time の existence の beginning と equal では %n 工程-START は工程の time の existence の beginning と equal では %n 工程-START は工程-START の before に happens %n{ない} 工程-START は工程-START の before に happens %n{ない} 工程は工程と equal では %n
(=> (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 843-856	PhysicalSystem は Automobile の instance では %n PhysicalSystem は Automobile の instance では %n オブジェクトは AutomobileShock の instance では %n オブジェクトは PhysicalSystem の part では %n オブジェクトオブジェクトは AutomobileShock の instance では %n オブジェクトは PhysicalSystem の part では %n dampingRatio PhysicalSystem and 実数 dampingRatio PhysicalSystem and 実数実数は実数より greater では　%n
(=> (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 729-752	代理(人) は代理(人) の instance では %n potentialCustomer 認識エージェント and 代理(人) ステートメントエンティティーは Reserving の instance では %n エンティティーは代理(人) に ends %n{ない} には Necessity の modal force がある customer 認識エージェント and 代理(人) が実数では場合のエンティティーES1 エンティティーES1 は Reservation の instance では %n reservingEntity 認識エージェント and エンティティーES1 fulfillingEntity 代理(人) and エンティティーES1 の probability customer 認識エージェント and 代理(人) が実数では場合のエンティティーES2 エンティティーES2 は Reservation の instance では %n reservingEntity 認識エージェント and エンティティーES2 fulfillingEntity 代理(人) and エンティティーES2 の probability 実数は実数より less では %n
(=> (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 2621-2634	代理(人) は動物の instance では %n エンティティーは病気または症候群の instance では %n エンティティーは代理(人) の attribute では工程エンティティー工程は生物学的プロセスの instance では %n 工程は除却の instance では %n 工程は代理(人) から originates %n{ない} エンティティーは Sewage の instance では %n 代理(人) は工程の agent では %n エンティティーは工程の patient では %n
(=> (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 5319-5328	オブジェクトは Bubble の instance では %n オブジェクトエンティティーエンティティーはオブジェクトの attribute では %n オブジェクトは Gas と equal ではオブジェクトはオブジェクトと meets %n{ない} RoundShape はオブジェクトの attribute では %n
(=> (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)) (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 4047-4077	オブジェクトは BimetalTemperatureSensor の instance では %n オブジェクトは金属の instance では %n オブジェクトは金属の instance では %n オブジェクトはオブジェクトと equal ではオブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n エンティティーは温度測定の instance では %n エンティティーは温度測定の instance では %n 量は長さ測定の instance では %n 量は長さ測定の instance では %n 量は長さ測定の instance では %n 量は長さ測定の instance では %n エンティティーはエンティティーと equal ではオブジェクトの measure はエンティティーでは %n オブジェクトの measure は量では %n オブジェクトの measure は量では %n は時間位置の during holds %n{ない} オブジェクトの measure はエンティティーでは %n オブジェクトの measure は量では %n オブジェクトの measure は量では %n は時間位置の during holds %n{ない} 量 + 量は量 + 量と equal では
(=> (and (instance ?C Convoy) (member ?X1 ?C) (member ?X2 ?C) (not (equal ?X1 ?X2))) (exists (?P1 ?P2 ?D) (and (instance ?P1 Transportation) (instance ?P2 Transportation) (agent ?P1 ?X1) (agent ?P2 ?X2) (destination ?P1 ?D) (destination ?P2 ?D))))	Military.kif 108-122	コレクションは Convoy の instance では %n 代理(人) はコレクションの member では %n 代理(人) はコレクションの member では %n 代理(人) は代理(人) と equal では工程工程 and エンティティー工程は交通手段の instance では %n 工程は交通手段の instance では %n 代理(人) は工程の agent では %n 代理(人) は工程の agent では %n 工程はエンティティーに ends %n{ない} 工程はエンティティーに ends %n{ない}
(=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?Sub Substance) (attribute ?Sub Solid) (attribute ?Sub PolyCrystalline) (instance ?S Substance) (surface ?S ?Sub) (not (part ?C ?S))) (exists (?CLNT) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?Sub) (meetsSpatially ?C ?MBR))))))	Geography.kif 6464-6484	オブジェクトは Crystal の instance では %n MonoCrystalline はオブジェクトの attribute では %n 自己接続オブジェクトは物質の instance では %n Solid は自己接続オブジェクトの attribute では %n PolyCrystalline は自己接続オブジェクトの attribute では %n 自己接続オブジェクトは物質の instance では %n 自己接続オブジェクトは自己接続オブジェクトの surface では %n オブジェクトは自己接続オブジェクトの part ではオブジェクトLNT オブジェクトLNT はコレクションの instance では %n memberCount オブジェクトLNT and 整数整数は 4 greater では　%n オブジェクトはオブジェクトLNT の member では %n オブジェクトは自己接続オブジェクトの part では %n オブジェクトはオブジェクトと meets %n{ない}
(=> (and (instance ?C InPersonCommunication) (agent ?C ?A1) (agent ?C ?A2) (not (equal ?A1 ?A2))) (holdsDuring ?C (orientation ?A1 ?A2 Near)))	Media.kif 224-231	工程は InPersonCommunication の instance では %n 代理(人) は工程の agent では %n 代理(人) は工程の agent では %n 代理(人) は代理(人) と equal では代理(人) は Near 対代理(人) では %n は工程の during holds %n{ない}

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 28333-28343	エンティティーは体の部分の instance では %n Bare はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは衣類の instance では %n covers エンティティー and エンティティーは時間位置の during holds %n{ない}
(<=> (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 16742-16749	工程は組み合わせの instance では %n オブジェクトは工程の resource では %n エンティティーは工程の result では %n オブジェクトはエンティティーの part ではは工程の time の existence の beginning の during holds %n{ない} オブジェクトはエンティティーの part では %n は工程の time の existence の end の during holds %n{ない}
(<=> (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 927-938	PolyphonicMusic はオブジェクトの attribute では %n 工程工程オブジェクトは MakingMusic の instance では %n 工程は MakingMusic の instance では %n 工程は MakingMusic の instance では %n 工程はオブジェクト% の subprocess では %n 工程はオブジェクト% の subprocess では %n 工程は工程と equal では工程はオブジェクトと同時に occurs %n{ない} 工程はオブジェクトと同時に occurs %n{ない}
(<=> (attribute ?WATER OpenSea) (forall (?LAND) (and (instance ?AREA SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile)))))	Geography.kif 4408-4415	OpenSea はオブジェクトの attribute では %n 物理エンティティーは塩水地域の instance では %n オブジェクトは LandlockedWater の instance では物理とオブジェクトの distance は長さ測定では %n 長さ測定は 5 の NauticalMile(s) より greater では　%n
(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 13235-13241	オブジェクトはオブジェクトとオブジェクトに connects %n{ない} オブジェクトはオブジェクトと 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 20955-20970	cousin 人［人間］ and 人［人間］ Woman Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man 物物物は人［人間］の mother では %n 物は人［人間］の father では %n 物は人［人間］の mother では %n 物は人［人間］の father では %n
(<=> (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	FemaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (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	LifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (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	MaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (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	MigrantsPerThousandFn 地政学的地域 and 整数 year 目は実数と equal では %n ( 整数 + 量) は 1 と equal では %n PopulationFn 地政学的地域は量と equal では %n は整数 year 目の during holds %n{ない} 量 + 1000 は量と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数はエンティティー class の instances の数と equal では %n ( 整数 + 整数) は量と equal では %n 量 + 量は実数と equal では %n
(<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S))))))	Mid-level-ontology.kif 28290-28298	Barefoot はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは Shoe の instance では %n wears エンティティー and エンティティーは時間位置の during holds %n{ない}
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))))	Mid-level-ontology.kif 28302-28310	Naked はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは衣類の instance では %n wears エンティティー and エンティティーは時間位置の during holds %n{ない}
(<=> (holdsDuring ?T (attribute ?P Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 Agent) (instance ?SI SocialInteraction) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 28375-28386	Alone はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティー工程エンティティーはエンティティーと equal ではエンティティーは代理(人) の instance では %n 工程は社会的交流の instance では %n involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー
(<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P)))))	Mid-level-ontology.kif 28419-28427	Mute は代理(人) の attribute では %n は時間間隔の during holds %n{ない} 工程工程は Speaking の instance では %n 工程の time の existence は時間間隔の during に takes %n{ない} 代理(人) は工程の agent では %n
(<=> (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 16820-16830	エンティティーは合成物質の instance では %n オブジェクトオブジェクト and 工程オブジェクトは単体の instance では %n オブジェクトは単体の instance では %n オブジェクトはオブジェクトと equal では工程は化学合成の instance では %n オブジェクトは工程の resource では %n オブジェクトは工程の resource では %n エンティティーは工程の result では %n
(<=> (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 6167-6177	エンティティーは ConjugatedSubstance の instance では %n オブジェクトオブジェクト and 工程オブジェクトは合成物質の instance では %n オブジェクトは合成物質の instance では %n オブジェクトはオブジェクトと equal では工程は化学合成の instance では %n オブジェクトは工程の resource では %n オブジェクトは工程の resource では %n エンティティーは工程の result では %n
(<=> (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 8309-8319	グラフはマルチグラフの instance では %n グラフアークグラフアーク, グラフノード and グラフノードグラフアークはグラフの part では %n グラフアークはグラフの part では %n グラフノードはグラフの part では %n グラフノードはグラフの part では %n グラフアークはグラフノードとグラフノードを links %n{ない} グラフアークはグラフノードとグラフノードを links %n{ない} グラフアークはグラフアークと equal では
(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS)))))))	Merge.kif 17098-17105	工程は創造の instance では %n 物理物理は工程の patient では %n 物理は工程の time の existence の end の during exists %n{ない} 物理は工程の time の existence の beginning の during exist ない
(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (BeginFn (WhenFn ?PROCESS))) (not (time ?PATIENT (EndFn (WhenFn ?PROCESS)))))))	Merge.kif 16584-16591	工程は破壊の instance では %n 物理物理は工程の patient では %n 物理は工程の time の existence の beginning の during exists %n{ない} 物理は工程の time の existence の end の during exist ない
(<=> (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 地理的地域 and 長さ測定エンティティー class の 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 28436-28450	工程は Harmless の方法で実行され %n 工程は損害を与えるの instance では工程2 工程2 は損害を与えるの instance では %n 工程2 は工程% の subprocess では %n 工程2 工程2 は損害を与えるの instance では %n 工程は工程2 を causes %n{ない}
(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 11455-11462	ステートメント公式には Legal の modal force がある公式ステートメント公式には Law の modal force がある consistent 公式 and 公式
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 22181-22183	ステートメント公式には Necessity の modal force があるステートメント公式には Possibility の modal force がない %p{ある}
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 22260-22262	ステートメント公式には Obligation の modal force があるステートメント公式には Permission の modal force がない %p{ある}
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 22302-22304	ステートメント公式には Prohibition の modal force があるステートメント公式には Permission の modal force がない %p{ある}

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

SerbiaAndMontenegro は IndependentState の instance ではは 3 day 目の after の during holds %n{ない}

appearance as argument number 0

(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow)))	ComputerInput.kif 1599-1603	~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement は InterfaceWindow の instance では %n }
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState)))	ComputerInput.kif 1776-1779	~{ GUIElement は Cursor の instance では %n } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState)))	ComputerInput.kif 1544-1547	~{ GUIElement は MouseCursor の instance では %n } ~{ hasGUEState GUIElement and GUE_ActiveState }
(not (equal BigSix GroupOf6))	Government.kif 2852-2852	BigSix は GroupOf6 と equal では
(not (exists (?PATH1 ?PATH2) (and (instance ?PATH1 (CutSetFn ?GRAPH)) (instance ?PATH2 (MinimalCutSetFn ?GRAPH)) (pathLength ?PATH1 ?NUMBER1) (pathLength ?PATH2 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))))	Merge.kif 8751-8758	グラフパスグラフパスグラフパスはグラフを2つの別々のグラフに分割するパスの set の instance では %n グラフパスはグラフを2つの別々のグラフに分割する最小パスの set の instance では %n グラフパスの length は正の整数では %n グラフパスの length は正の整数では %n 正の整数は正の整数より less では %n
(not (member Denmark EuropeanMonetaryUnion))	Government.kif 3156-3156	Denmark は EuropeanMonetaryUnion の member では
(not (member Sweden EuropeanMonetaryUnion))	Government.kif 3157-3157	Sweden は EuropeanMonetaryUnion の member では
(not (member UnitedKingdom EuropeanMonetaryUnion))	Government.kif 3158-3158	UnitedKingdom は EuropeanMonetaryUnion の member では
(not (overlapsTemporally CommonEra BeforeCommonEra))	Mid-level-ontology.kif 7592-7592	BeforeCommonEra は CommonEra と overlap dない
(not (vegetationType ArcticRegion BotanicalTree))	Geography.kif 3431-3431	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: