(<=>     (attribute ?INDIVIDUAL Taoist)     (member ?INDIVIDUAL Taoism))	People.kif 1502-1504	Taoist は オブジェクト の attribute では %n オブジェクト は Taoism の member では %n
(<=>     (attribute ?INDIVIDUAL Zoroastrian)     (member ?INDIVIDUAL Zoroastrianism))	People.kif 1517-1519	Zoroastrian は オブジェクト の attribute では %n オブジェクト は Zoroastrianism の member では %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 751-762	PolyphonicMusic は オブジェクト の attribute では %n 工程 工程 オブジェクト は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は オブジェクト% の subprocess では %n 工程 は オブジェクト% の subprocess では %n 工程 は 工程 と equal では 工程 は オブジェクト と同時に occurs %n{ない} 工程 は オブジェクト と同時に occurs %n{ない}
(<=>     (attribute ?Q Queen)     (or         (attribute ?Q QueenRegnant)         (attribute ?Q QueenConsort)))	Government.kif 1400-1404	Queen は オブジェクト の attribute では %n QueenRegnant は オブジェクト の attribute では %n QueenConsort は オブジェクト の attribute では %n
(<=>     (attribute ?WATER OpenSea)     (exists (?LAND ?DIST)         (and             (instance ?WATER SaltWaterArea)             (not                 (instance ?WATER LandlockedWater))             (distance ?LAND ?WATER                 (MeasureFn ?DIST NauticalMile))             (greaterThan ?DIST 5.0))))	Geography.kif 4711-4720	OpenSea は オブジェクト の attribute では %n 物理 実数 オブジェクト は 塩水地域 の instance では %n オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では %n 実数 は 5.0 より greater では　%n
(<=>     (holdsDuring ?T         (attribute ?A Barefoot))     (holdsDuring ?T         (not             (exists (?S)                 (and                     (instance ?S Shoe)                     (wears ?A ?S))))))	Mid-level-ontology.kif 30132-30140	Barefoot は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は Shoe の instance では %n エンティティー は % を wears %n{ない} は 時間位置 の during holds %n{ない}
(<=>     (holdsDuring ?T         (attribute ?A Naked))     (holdsDuring ?T         (not             (exists (?C)                 (and                     (instance ?C Clothing)                     (wears ?A ?C))))))	Mid-level-ontology.kif 30145-30153	Naked は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は 衣類 の instance では %n エンティティー は % を wears %n{ない} は 時間位置 の during holds %n{ない}
(<=>     (holdsDuring ?T         (attribute ?H Alone))     (not         (exists (?H2 ?SI)             (and                 (not                     (equal ?H ?H2))                 (instance ?H2 AutonomousAgent)                 (instance ?SI SocialInteraction)                 (during                     (WhenFn ?SI) ?T)                 (involvedInEvent ?SI ?H)                 (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 30223-30236	Alone は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない} エンティティー2 工程 エンティティー は エンティティー2 と equal では エンティティー2 は AutonomousAgent の instance では %n 工程 は 社会的交流 の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー2
(<=>     (holdsDuring ?T         (attribute ?P Mute))     (not         (exists (?S)             (and                 (instance ?S Speaking)                 (during                     (WhenFn ?S) ?T)                 (agent ?S ?P)))))	Mid-level-ontology.kif 30271-30279	Mute は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 工程 は Speaking の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} AutonomousAgent は 工程 の agent では %n
(<=>     (holdsDuring ?TIME         (attribute ?AGENT LegalAgent))     (holdsDuring ?TIME         (or             (capability LegalAction agent ?AGENT)             (capability LegalAction patient ?AGENT))))	Merge.kif 1601-1607	LegalAgent は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー は 訴訟 を agent として行う capable では %n エンティティー は 訴訟 を patient として行う capable では %n は 時間位置 の during holds %n{ない}
(=>     (and         (attribute             (GovernmentFn ?AREA) ?TYPE)         (instance ?TYPE FormOfGovernment))     (governmentType ?AREA ?TYPE))	Government.kif 148-152	FormOfGovernment は 地政学的地域 の government の attribute では %n FormOfGovernment は FormOfGovernment の instance では %n governmentType 地政学的地域 and FormOfGovernment
(=>     (and         (attribute ?A ?ATTR)         (instance ?ATTR AlbumAttribute))     (instance ?A Album))	Music.kif 478-482	属性 は オブジェクト の attribute では %n 属性 は AlbumAttribute の instance では %n オブジェクト は Album の instance では %n
(=>     (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 1363-1370	属性 は AutonomousAgent の attribute では %n 属性 は ProfessionalAthlete の instance では %n コンテスト コンテスト は スポーツ の instance では %n contestParticipant コンテスト and AutonomousAgent
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1357-1361	属性 は AutonomousAgent の attribute では %n 属性 は ProfessionalAthlete の instance では %n AutonomousAgent は スポーツ をする skill が %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