(=>     (and         (exactCardinality ?REL ?ARG 1)         (instance ?REL Predicate))     (exists (?X @ARGS)         (and             (?REL @ARGS)             (equal ?X                 (ListOrderFn                     (ListFn @ARGS) ?ARG))             (not                 (exists (?Y)                     (and                         (equal ?Y                             (ListOrderFn                                 (ListFn @ARGS) ?ARG))                         (not                             (equal ?X ?Y))))))))	Media.kif 2075-2090	exactCardinality 関係, 正の整数 and 1 関係 は 述語 の instance では %n エンティティー @ARGS 関係 @ARGS エンティティー は (@ARGS) の 正の整数th element と equal では %n エンティティー エンティティー は (@ARGS) の 正の整数th element と equal では %n エンティティー は エンティティー と equal では
(=>     (and         (fOCShipsByOrigin ?MM ?HOME ?COUNT)         (equal ?MM             (MerchantMarineFn ?AREA)))     (not         (equal ?HOME ?AREA)))	Transportation.kif 1064-1068	fOCShipsByOrigin MerchantMarine, 地政学的地域 and 非負整数 MerchantMarine は MerchantMarineFn 地政学的地域 と equal では %n 地政学的地域 は 地政学的地域 と equal では
(=>     (and         (fills ?OBJ1 ?HOLE)         (attribute ?OBJ2 Fillable))     (not         (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 10032-10037	オブジェクト は HoleRegion を fills %n{ない} Fillable は オブジェクト の attribute では %n overlapsSpatially オブジェクト and オブジェクト
(=>     (and         (firstTimeBuyers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (not         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (agent ?BUYING ?MEMBER)                 (eCommerceSite ?BUYING ?SITE)                 (earlier                     (WhenFn ?BUYING) ?INT)))))	UXExperimentalTerms.kif 3545-3555	firstTimeBuyers 時間間隔, WebSite and コレクション AutonomousAgent は コレクション の member では %n 金融取引 金融取引 は 購買 の instance では %n AutonomousAgent は 金融取引 の agent では %n eCommerceSite 金融取引 and WebSite 金融取引 の time の existence は 時間間隔 より earlier happens %n{ない}
(=>     (and         (firstTimeSellers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (not         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (agent ?SELLING ?MEMBER)                 (eCommerceSite ?SELLING ?SITE)                 (earlier                     (WhenFn ?SELLING) ?INT)))))	UXExperimentalTerms.kif 3593-3603	firstTimeSellers 時間間隔, WebSite and コレクション AutonomousAgent は コレクション の member では %n 金融取引 金融取引 は 販売 の instance では %n AutonomousAgent は 金融取引 の agent では %n eCommerceSite 金融取引 and WebSite 金融取引 の time の existence は 時間間隔 より earlier happens %n{ない}
(=>     (and         (holdsDuring ?T             (and                 (attribute ?H LateralRecumbant)                 (orientation ?H ?O On)))         (instance ?LA LeftArm)         (part ?LA ?H)         (instance ?RA RightArm)         (part ?RA ?H)         (instance ?LL LeftLeg)         (part ?LL ?H)         (instance ?RL RightLeg)         (part ?RL ?H)         (or             (meetsSpatially ?LA ?O)             (meetsSpatially ?LL ?O)))     (holdsDuring ?T         (and             (not                 (meetsSpatially ?RA ?O))             (not                 (meetsSpatially ?RL ?O)))))	Anatomy.kif 1838-1860	LateralRecumbant は オブジェクト の attribute では %n オブジェクト は On 対 オブジェクト では %n は 時間位置 の during holds %n{ない} オブジェクト は LeftArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は LeftLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meet ない オブジェクト は オブジェクト と meet ない は 時間位置 の during holds %n{ない}
(=>     (and         (holdsDuring ?T             (and                 (attribute ?H LateralRecumbant)                 (orientation ?H ?O On)))         (instance ?LA LeftArm)         (part ?LA ?H)         (instance ?RA RightArm)         (part ?RA ?H)         (instance ?LL LeftLeg)         (part ?LL ?H)         (instance ?RL RightLeg)         (part ?RL ?H)         (or             (meetsSpatially ?RA ?O)             (meetsSpatially ?RL ?O)))     (holdsDuring ?T         (and             (not                 (meetsSpatially ?LA ?O))             (not                 (meetsSpatially ?LL ?O)))))	Anatomy.kif 1862-1884	LateralRecumbant は オブジェクト の attribute では %n オブジェクト は On 対 オブジェクト では %n は 時間位置 の during holds %n{ない} オブジェクト は LeftArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は LeftLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meet ない オブジェクト は オブジェクト と meet ない は 時間位置 の during holds %n{ない}
(=>     (and         (holdsDuring ?T             (attribute ?H                 (DeadOrMissingBodyPartFn ?P)))         (instance ?PI ?P)         (part ?PI ?H)         (hasPurpose ?PI ?F))     (not ?F))	Merge.kif 18246-18254	DeadOrMissingBodyPartFn クラス は オブジェクト の attribute では %n は 時間位置 の during holds %n{ない} クラスI は クラス の instance では %n クラスI は オブジェクト の part では %n クラスI は 公式 の 目的 %n{ない} 公式
(=>     (and         (holdsDuring ?T             (attribute ?H                 (ImpairedBodyPartFn ?P)))         (instance ?PI ?P)         (part ?PI ?H)         (hasPurpose ?PI ?F))     (modalAttribute         (not ?F) Likely))	Merge.kif 18225-18235	ImpairedBodyPartFn クラス は オブジェクト の attribute では %n は 時間位置 の during holds %n{ない} クラスI は クラス の instance では %n クラスI は オブジェクト の part では %n クラスI は 公式 の 目的 %n{ない} ステートメント 公式 には Likely の modal force が ある
(=>     (and         (holdsDuring ?T             (measure ?C ?S))         (engineIdleSpeed ?E ?S)         (instance ?A Automobile)         (part ?E ?A)         (part ?C ?E))     (modalAttribute         (not             (exists (?P ?GP)                 (and                     (during ?P ?T)                     (instance ?P Pushing)                     (destination ?P ?GP)                     (part ?GP ?A)))) Likely))	Cars.kif 2567-2583	オブジェクト の measure は 関数量 では %n は 時間位置 の during holds %n{ない} engineIdleSpeed InternalCombustionEngine and 関数量 オブジェクト は Automobile の instance では %n InternalCombustionEngine は オブジェクト の part では %n オブジェクト は InternalCombustionEngine の part では %n ステートメント エンティティー エンティティー エンティティー は 時間位置 の during に takes %n{ない} エンティティー は Pushing の instance では %n エンティティー は エンティティー に ends %n{ない} エンティティー は オブジェクト の part では %n には Likely の modal force が ある
(=>     (and         (holdsDuring ?T1             (and                 (attribute ?P Expellee)                 (citizen ?P ?HOME-NATION)))         (instance ?T1 TimeInterval))     (exists (?TRANS ?NATION)         (and             (instance ?NATION Nation)             (not                 (equal ?NATION ?HOME-NATION))             (instance ?TRANS Translocation)             (origin ?TRANS ?NATION)             (patient ?TRANS ?P)             (destination ?TRANS ?HOME-NATION)             (temporalPart ?T1                 (WhenFn ?TRANS)))))	MilitaryPersons.kif 151-167	Expellee は エンティティー の attribute では %n エンティティー は エンティティー-NATION% の citizen では %n は 時間位置 の during holds %n{ない} 時間位置 は 時間間隔 の instance では %n 工程 オブジェクト オブジェクト は 国民 の instance では %n オブジェクト は エンティティー-NATION と equal では 工程 は Translocation の instance では %n 工程 は オブジェクト から originates %n{ない} エンティティー は 工程 の patient では %n 工程 は エンティティー-NATION に ends %n{ない} 時間位置 は 工程 の time の existence の part では %n
(=>     (and         (holdsDuring ?T1             (and                 (attribute ?PERSON DislocatedCivilian)                 (inhabits ?PERSON ?RESIDENCE)                 (located ?RESIDENCE ?PLACE)))         (instance ?PLACE GeographicArea)         (instance ?T1 TimeInterval))     (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)         (and             (instance ?T0 TimeInterval)             (earlier ?T0 ?T1)             (instance ?PRIOR-RES Object)             (instance ?PRIOR-PLACE GeopoliticalArea)             (located ?PRIOR-RES ?PRIOR-PLACE)             (not                 (equal ?PLACE ?PRIOR-PLACE))             (not                 (equal ?RESIDENCE ?PRIOR-RES))             (not                 (geographicSubregion ?PLACE ?PRIOR-PLACE))             (not                 (geographicSubregion ?PRIOR-PLACE ?PLACE))             (holdsDuring ?T0                 (inhabits ?PERSON ?PRIOR-RES)))))	MilitaryPersons.kif 26-47	DislocatedCivilian は エンティティー の attribute では %n エンティティー は エンティティー に lives %n{ない} エンティティー は 地理的地域 に located して %n は 時間間隔 の during holds %n{ない} 地理的地域 は 地理的地域 の instance では %n 時間間隔 は 時間間隔 の instance では %n 時間間隔 エンティティー-PLACE and エンティティー-RES 時間間隔 は 時間間隔 の instance では %n 時間間隔 は 時間間隔 より earlier happens %n{ない} エンティティー-RES は オブジェクト の instance では %n エンティティー-PLACE は 地政学的地域 の instance では %n エンティティー-RES は エンティティー-PLACE に located して %n 地理的地域 は エンティティー-PLACE と equal では エンティティー は エンティティー-RES と equal では geographicSubregion 地理的地域 and エンティティー-PLACE geographicSubregion エンティティー-PLACE and 地理的地域 エンティティー は エンティティー-RES に lives %n{ない} は 時間間隔 の during holds %n{ない}
(=>     (and         (holdsDuring ?T1             (attribute ?F Menopausal))         (equal ?BEFORE             (SubtractionFn                 (MeasureFn 1 YearDuration)                 (BeginFn ?T1)))         (equal ?YBEFORE             (TimeIntervalFn ?YBEFORE                 (BeginFn ?T1))))     (not         (exists (?M)             (and                 (instance ?M Menstruation)                 (experiencer ?M ?F)))))	Mid-level-ontology.kif 23889-23903	Menopausal は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 実数 は (1 の YearDuration(s) + 時間間隔 の beginning) と equal では %n 時間間隔 は 時間間隔 と 時間間隔 の beginning の interval と equal では %n 工程 工程 は Menstruation の instance では %n AutonomousAgent が 工程 を experiences %n{ない}
(=>     (and         (holdsDuring ?T1             (attribute ?P StatelessPerson))         (instance ?NAT Nation))     (holdsDuring ?T1         (not             (citizen ?P ?NAT))))	MilitaryPersons.kif 195-201	StatelessPerson は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー は 国民 の instance では %n エンティティー は エンティティー% の citizen では は 時間位置 の during holds %n{ない}
(=>     (and         (holdsDuring ?TIME             (attribute ?ORG Embryonic))         (instance ?BIRTH Birth)         (equal ?BW             (WhenFn ?BIRTH))         (experiencer ?BIRTH ?ORG))     (not         (overlapsTemporally ?TIME ?BW)))	Merge.kif 18203-18209	Embryonic は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 は 出生 の instance では %n 時間間隔 は 工程 の time の existence と equal では %n AutonomousAgent が 工程 を experiences %n{ない} 時間間隔 は 時間間隔 と overlap dない
(=>     (and         (holdsDuring ?Time             (instance ?Card ExpiredCard))         (cardAccount ?Card ?Account))     (holdsDuring ?Time         (not             (attribute ?Card ActiveAgreement))))	FinancialOntology.kif 3529-3534	BankCard は ExpiredCard の instance では %n は 時間位置 の during holds %n{ない} cardAccount BankCard and FinancialAccount ActiveAgreement は BankCard の attribute では は 時間位置 の during holds %n{ない}
(=>     (and         (humanName ?NAMESTRING ?HUMAN)         (givenName ?STRING ?HUMAN)         (subString ?STRING ?NAMESTRING))     (not         (keyName ?STRING ?NAMESTRING)))	Media.kif 3461-3466	humanName 記号文字列 and 人［人間］ givenName 記号文字列 and 人［人間］ subString 記号文字列 and 記号文字列 keyName 記号文字列 and 記号文字列
(=>     (and         (independenceDate ?COUNTRY1 ?DATE)         (instance ?INST ?DATE))     (holdsDuring         (FutureFn ?INST)         (not             (exists (?COUNTRY2)                 (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 546-553	independenceDate 地政学的地域 and 時間間隔 時間位置 は 時間間隔 の instance では %n エンティティー dependentGeopoliticalArea 地政学的地域 and エンティティー は 時間位置 の after の during holds %n{ない}
(=>     (and         (instance ?A Aborting)         (patient ?A ?W)         (instance ?W Woman))     (and         (holdsDuring             (BeginFn                 (WhenFn ?A))             (attribute ?W Pregnant))         (holdsDuring             (EndFn                 (WhenFn ?A))             (not                 (attribute ?W Pregnant)))))	Mid-level-ontology.kif 21495-21506	工程 は Aborting の instance では %n エンティティー は 工程 の patient では %n エンティティー は Woman の instance では %n Pregnant は エンティティー の attribute では %n は 工程 の time の existence の beginning の during holds %n{ない} Pregnant は エンティティー の attribute では は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?A Accelerating)         (equal ?T             (WhenFn ?A))         (experiencer ?A ?E))     (not         (exists (?D)             (and                 (instance ?D Decelerating)                 (experiencer ?D ?E)                 (equal ?T                     (WhenFn ?D))))))	Mid-level-ontology.kif 17193-17203	工程 は Accelerating の instance では %n 時間間隔 は 工程 の time の existence と equal では %n AutonomousAgent が 工程 を experiences %n{ない} 工程 工程 は Decelerating の instance では %n AutonomousAgent が 工程 を experiences %n{ない} 時間間隔 は 工程 の time の existence と equal では %n
(=>     (and         (instance ?A Amputating)         (patient ?A ?H)         (instance ?L Limb))     (exists (?P ?B)         (and             (part ?P ?L)             (part ?B ?P)             (instance ?B Bone)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?A))                 (part ?P ?H))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?A))                 (not                     (part ?P ?H))))))	Medicine.kif 6257-6275	工程 は Amputating の instance では %n エンティティー は 工程 の patient では %n オブジェクト は Limb の instance では %n オブジェクト オブジェクト オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は 骨 の instance では %n オブジェクト は エンティティー の part では %n は 工程 の time の existence の immediately before の during holds %n{ない} オブジェクト は エンティティー の part では は 工程 の time の existence の immediately before の during holds %n{ない}
(=>     (and         (instance ?A Anesthetizing)         (patient ?A ?P))     (holdsDuring         (WhenFn ?A)         (and             (attribute ?P Unconscious)             (not                 (attribute ?P Pain)))))	Medicine.kif 966-975	工程 は Anesthetizing の instance では %n エンティティー は 工程 の patient では %n 無意識 は エンティティー の attribute では %n Pain は エンティティー の attribute では は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?A Anesthetizing)         (patient ?A ?P))     (holdsDuring         (WhenFn ?A)         (or             (attribute ?P Unconscious)             (not                 (attribute ?P Pain)))))	Medicine.kif 949-958	工程 は Anesthetizing の instance では %n エンティティー は 工程 の patient では %n 無意識 は エンティティー の attribute では %n Pain は エンティティー の attribute では は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?A Apologizing)         (agent ?A ?AG)         (destination ?A ?P))     (exists (?ACT)         (and             (suffers ?ACT ?P)             (agent ?ACT ?AG)             (holdsDuring                 (WhenFn ?A)                 (not                     (wants ?AG ?ACT))))))	Mid-level-ontology.kif 29620-29632	工程 は Apologizing の instance では %n 工程G は 工程 の agent では %n 工程 は AutonomousAgent に ends %n{ない} 工程CT suffers 工程CT and AutonomousAgent 工程G は 工程CT の agent では %n 工程G は 工程CT を want ない は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?A Appointing)         (patient ?A ?H))     (exists (?P ?ORG)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?A))                 (not                     (occupiesPosition ?H ?P ?ORG)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?A))                 (occupiesPosition ?H ?P ?ORG)))))	Mid-level-ontology.kif 1042-1055	工程 は Appointing の instance では %n エンティティー は 工程 の patient では %n エンティティー エンティティー エンティティー は エンティティー の エンティティー の position を hold ない は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー の エンティティー の position を holds %n{ない} は 工程 の time の existence の すぐ after の during holds %n{ない}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners