(=>     (and         (attribute ?A AppraisalAsJustTreatment)         (instance ?AJT AppraisalProcess)         (agent ?AJT ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AJT ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (wants ?A ?P))))	emotion.kif 374-387	AppraisalAsJustTreatment は 認識エージェント の attribute では %n 認識エージェントJT は AppraisalProcess の instance では %n 認識エージェント は 認識エージェントJT の agent では %n 工程 認識エージェント2 工程 は 工程 の instance では %n 認識エージェントJT は 工程 への reference を includes %n{ない} 認識エージェント2 は 工程 の agent では %n 認識エージェント は 認識エージェント2 と equal では 認識エージェント は 工程 の patient では %n 認識エージェント は 工程 を wants %n{ない}
(=>     (and         (attribute ?A AppraisalAsUnjustTreatment)         (instance ?AUJ AppraisalProcess)         (agent ?AUJ ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AUJ ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (not                 (wants ?A ?P)))))	emotion.kif 349-363	AppraisalAsUnjustTreatment は 認識エージェント の attribute では %n 認識エージェントUJ は AppraisalProcess の instance では %n 認識エージェント は 認識エージェントUJ の agent では %n 工程 認識エージェント2 工程 は 工程 の instance では %n 認識エージェントUJ は 工程 への reference を includes %n{ない} 認識エージェント2 は 工程 の agent では %n 認識エージェント は 認識エージェント2 と equal では 認識エージェント は 工程 の patient では %n 認識エージェント は 工程 を want ない
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 223-230	Founder は AutonomousAgent の attribute では %n AutonomousAgent は 人［人間］ の instance では %n 工程 工程 は Founding の instance では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (attribute ?AC TwoFactorAuthentication)         (loggedInDuring ?A ?AC ?T))     (exists (?TF)         (and             (instance ?TF TwoFactorLoggingIn)             (agent ?TF ?A)             (accountUsed ?TF ?AC)             (earlier                 (WhenFn ?TF) ?T))))	ComputingBrands.kif 4373-4382	TwoFactorAuthentication は UserAccount の attribute では %n loggedInDuring AutonomousAgent, UserAccount and 時間間隔 時間間隔F 時間間隔F は TwoFactorLoggingIn の instance では %n AutonomousAgent は 時間間隔F の agent では %n accountUsed 時間間隔F and UserAccount 時間間隔F の time の existence は 時間間隔 より earlier happens %n{ない}
(=>     (and         (attribute ?ACCT ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?ACCT UserAccount))	UXExperimentalTerms.kif 648-652	属性 は オブジェクト の attribute では %n 属性 は AccountAttribute の instance では %n オブジェクト は UserAccount の instance では %n
(=>     (and         (attribute ?ACTOR VoiceActor)         (instance ?DRAMA DramaticActing)         (agent ?DRAMA ?ACTOR)         (instance ?SPEAK LinguisticCommunication)         (agent ?SPEAK ?ACTOR)         (subProcess ?SPEAK ?DRAMA))     (and         (not             (exists (?S ?VIEWER)                 (and                     (instance ?S Seeing)                     (patient ?S ?ACTOR)                     (agent ?S ?VIEWER))))         (exists (?H ?VIEWER)             (and                 (instance ?H Hearing)                 (patient ?H ?ACTOR)                 (agent ?H ?VIEWER)))))	Biography.kif 757-776	VoiceActor は AutonomousAgent の attribute では %n 工程 は DramaticActing の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は LinguisticCommunication の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 工程% の subprocess では %n 工程 AutonomousAgent 工程 は 見ること の instance では %n AutonomousAgent は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n 工程 AutonomousAgent 工程 は 聴覚 の instance では %n AutonomousAgent は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (attribute ?AGENT             (MemberFn ?ORG))         (instance ?AGENT AutonomousAgent)         (instance ?ORG Organization))     (member ?AGENT ?ORG))	Government.kif 1774-1779	MemberFn 組織 は オブジェクト の attribute では %n オブジェクト は AutonomousAgent の instance では %n 組織 は 組織 の instance では %n オブジェクト は 組織 の member では %n
(=>     (and         (attribute ?AREA CommunistState)         (instance ?AREA Nation))     (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 865-869	CommunistState は AutonomousAgent の attribute では %n AutonomousAgent は 国民 の instance では %n economyType AutonomousAgent and CentrallyPlannedEconomy
(=>     (and         (attribute ?AREA FlatTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.005 ?SLOPE))	Geography.kif 1754-1759	FlatTerrain は オブジェクト の attribute では %n 土地面積 は オブジェクト の part では %n slopeGradient 土地面積 and 非負実数 0.005 は 非負実数 より greater では　%n
(=>     (and         (attribute ?AREA HighIncomeCountry)         (not             (member ?AREA OrganizationOfPetroleumExportingCountries)))     (economyType ?AREA DevelopedCountry))	Economy.kif 506-510	HighIncomeCountry は AutonomousAgent の attribute では %n AutonomousAgent は OrganizationOfPetroleumExportingCountries の member では economyType AutonomousAgent and DevelopedCountry
(=>     (and         (attribute ?AREA LowTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.03 ?SLOPE))	Geography.kif 1766-1771	LowTerrain は オブジェクト の attribute では %n 土地面積 は オブジェクト の part では %n slopeGradient 土地面積 and 非負実数 0.03 は 非負実数 より greater では　%n
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1364-1371	属性 は AutonomousAgent の attribute では %n 属性 は ProfessionalAthlete の instance では %n コンテスト コンテスト は スポーツ の instance では %n contestParticipant コンテスト and AutonomousAgent
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1358-1362	属性 は AutonomousAgent の attribute では %n 属性 は ProfessionalAthlete の instance では %n AutonomousAgent は スポーツ をする skill が %n{ない}
(=>     (and         (attribute ?C Collectible)         (hasPurpose ?C ?P))     (exists (?H ?P2)         (and             (instance ?H Human)             (wants ?H ?C)             (desires ?H ?P2)             (entails ?P2                 (possesses ?H ?C))             (not                 (equal ?P ?P2)))))	Mid-level-ontology.kif 29495-29507	Collectible は オブジェクト の attribute では %n オブジェクト は 公式 の 目的 %n{ない} 認識エージェント 公式2 認識エージェント は 人［人間］ の instance では %n 認識エージェント は オブジェクト を wants %n{ない} 認識エージェント が 公式2 を desires %n{ない} 公式2 は 認識エージェント は オブジェクト を possesses %n{ない} を entails %n{ない} 公式 は 公式2 と equal では
(=>     (and         (attribute ?D DeviceDamaged)         (hasPurpose ?D ?F))     (not         (modalAttribute ?F Possibility)))	Mid-level-ontology.kif 29446-29451	DeviceDamaged は オブジェクト の attribute では %n オブジェクト は 公式 の 目的 %n{ない} ステートメント 公式 には Possibility の modal force が ない %p{ある}
(=>     (and         (attribute ?D DeviceNormal)         (hasPurpose ?D ?F))     (modalAttribute ?F Possibility))	Mid-level-ontology.kif 29419-29423	DeviceNormal は オブジェクト の attribute では %n オブジェクト は 公式 の 目的 %n{ない} ステートメント 公式 には Possibility の modal force が ある
(=>     (and         (attribute ?DEVICE ?ATTRIBUTE)         (instance ?ATTRIBUTE DeviceAttribute))     (instance ?DEVICE Device))	Mid-level-ontology.kif 1833-1837	属性 は オブジェクト の attribute では %n 属性 は DeviceAttribute の instance では %n オブジェクト は デバイス の instance では %n
(=>     (and         (attribute ?DEVICE Functioning)         (hasPurpose ?DEVICE ?PROP))     (truth ?PROP True))	Mid-level-ontology.kif 1844-1848	Functioning は オブジェクト の attribute では %n オブジェクト は 公式 の 目的 %n{ない} 公式 is True %n
(=>     (and         (attribute ?DEVICE Malfunctioning)         (hasPurpose ?DEVICE ?PROP))     (truth ?PROP False))	Mid-level-ontology.kif 1854-1858	Malfunctioning は オブジェクト の attribute では %n オブジェクト は 公式 の 目的 %n{ない} 公式 is False %n
(=>     (and         (attribute ?EXP ?ATTR)         (instance ?ATTR ExperimentAttribute))     (instance ?EXP Experimenting))	UXExperimentalTerms.kif 4407-4411	属性 は オブジェクト の attribute では %n 属性 は ExperimentAttribute の instance では %n オブジェクト は Experimenting の instance では %n
(=>     (and         (attribute ?F DecafAttribute)         (instance ?F Food))     (not         (exists (?C)             (and                 (instance ?C Caffeine)                 (piece ?C ?F)))))	Food.kif 437-445	DecafAttribute は 物質 の attribute では %n 物質 は Food の instance では %n 物質 物質 は Caffeine の instance では %n 物質 は 物質 の piece では %n
(=>     (and         (attribute ?FOOD1 FamilyStylePortion)         (measure ?FOOD1             (MeasureFn ?MEAS1 ?U))         (not             (attribute ?FOOD2 FamilyStylePortion))         (measure ?FOOD2             (MeasureFn ?MEAS2 ?U))         (instance ?FOOD1 ?CLASS)         (instance ?FOOD2 ?CLASS)         (instance ?U UnitOfMeasure))     (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1165-1176	FamilyStylePortion は オブジェクト の attribute では %n オブジェクト の measure は 実数 の 測定単位(s) では %n FamilyStylePortion は オブジェクト の attribute では オブジェクト の measure は 実数 の 測定単位(s) では %n オブジェクト は クラス の instance では %n オブジェクト は クラス の instance では %n 測定単位 は 測定単位 の instance では %n 実数 は 実数 より greater では　%n
(=>     (and         (attribute ?H ?D)         (diseaseTreatment ?D ?P)         (instance ?TP TherpeuticProcess)         (agent ?TP ?DOC)         (patient ?TP ?H)         (attribute ?DOC MedicalDoctor))     (modalAttribute         (instance ?TP ?P) Possibility))	Medicine.kif 5824-5834	病気または症候群 は オブジェクト の attribute では %n diseaseTreatment 病気または症候群 and 治療経過 工程 は TherpeuticProcess の instance では %n 病気または症候群OC は 工程 の agent では %n オブジェクト は 工程 の patient では %n MedicalDoctor は 病気または症候群OC の attribute では %n ステートメント 工程 は 治療経過 の instance では %n には Possibility の modal force が ある
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Female)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 12))	Medicine.kif 172-187	Anemia は オブジェクト の attribute では %n オブジェクト は 血 の instance では %n オブジェクト は オブジェクト の part では %n Female は オブジェクト の attribute では %n オブジェクト の measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE は オブジェクト の part では %n オブジェクトE2 は Hemoglobin の instance では オブジェクトE は オブジェクトE2 と equal では オブジェクト2 は オブジェクト の part では %n オブジェクトE の measure は 実数 の Gram(s) では %n 実数 は 12 より less では %n
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Male)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 13))	Medicine.kif 155-170	Anemia は オブジェクト の attribute では %n オブジェクト は 血 の instance では %n オブジェクト は オブジェクト の part では %n Male は オブジェクト の attribute では %n オブジェクト の measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE は オブジェクト の part では %n オブジェクトE2 は Hemoglobin の instance では オブジェクトE は オブジェクトE2 と equal では オブジェクト2 は オブジェクト の part では %n オブジェクトE の measure は 実数 の Gram(s) では %n 実数 は 13 より less では %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