(<=>     (attribute ?INDIVIDUAL Sikh)     (member ?INDIVIDUAL Sikhism))	People.kif 1488-1490	Sikh は オブジェクト の attribute では オブジェクト は Sikhism の member では
(<=>     (attribute ?INDIVIDUAL SunniMuslim)     (member ?INDIVIDUAL SunniSect))	People.kif 1397-1399	SunniMuslim は オブジェクト の attribute では オブジェクト は SunniSect の member では
(<=>     (attribute ?INDIVIDUAL Taoist)     (member ?INDIVIDUAL Taoism))	People.kif 1503-1505	Taoist は オブジェクト の attribute では オブジェクト は Taoism の member では
(<=>     (attribute ?INDIVIDUAL Zoroastrian)     (member ?INDIVIDUAL Zoroastrianism))	People.kif 1518-1520	Zoroastrian は オブジェクト の attribute では オブジェクト は Zoroastrianism の member では
(<=>     (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 744-755	PolyphonicMusic は オブジェクト の attribute では 工程 工程 オブジェクト は MakingMusic の instance では 工程 は MakingMusic の instance では 工程 は MakingMusic の instance では 工程 は オブジェクト% の subprocess では 工程 は オブジェクト% の subprocess では equal 工程 and 工程 工程 は オブジェクト と同時に occurs 工程 は オブジェクト と同時に occurs
(<=>     (attribute ?Q Queen)     (or         (attribute ?Q QueenRegnant)         (attribute ?Q QueenConsort)))	Government.kif 1362-1366	Queen は オブジェクト の attribute では QueenRegnant は オブジェクト の attribute では QueenConsort は オブジェクト の attribute では
(<=>     (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 4951-4960	OpenSea は オブジェクト の attribute では 物理 実数 オブジェクト は 塩水地域 の instance では オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では 実数 は 5.0 より greater では
(<=>     (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 32141-32154	Alone は エンティティー の attribute では は 時間間隔 の during holds エンティティー2 工程 equal エンティティー and エンティティー2 エンティティー2 は AutonomousAgent の instance では 工程 は 社会的交流 の instance では 工程 の time の existence は 時間間隔 の during に takes 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 32189-32197	Mute は AutonomousAgent の attribute では は 時間間隔 の during holds 工程 工程 は Speaking の instance では 工程 の time の existence は 時間間隔 の during に takes AutonomousAgent は 工程 の agent では
(<=>     (holdsDuring ?TIME         (attribute ?AGENT LegalAgent))     (holdsDuring ?TIME         (or             (capability LegalAction agent ?AGENT)             (capability LegalAction patient ?AGENT))))	Merge.kif 1611-1617	LegalAgent は エンティティー の attribute では は 時間位置 の during holds エンティティー は 訴訟 を agent として行う capable では エンティティー は 訴訟 を patient として行う capable では は 時間位置 の during holds
(=>     (and         (attribute             (GovernmentFn ?AREA) ?TYPE)         (instance ?TYPE FormOfGovernment))     (governmentType ?AREA ?TYPE))	Government.kif 148-152	FormOfGovernment は 地政学的地域 の government の attribute では FormOfGovernment は FormOfGovernment の instance では governmentType 地政学的地域 and FormOfGovernment
(=>     (and         (attribute ?A ?ATTR)         (instance ?ATTR AlbumAttribute))     (instance ?A Album))	Music.kif 480-484	属性 は オブジェクト の attribute では 属性 は AlbumAttribute の instance では オブジェクト は Album の instance では
(=>     (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 では 認識エージェントJT は AppraisalProcess の instance では 認識エージェント は 認識エージェントJT の agent では 工程 認識エージェント2 工程 は 工程 の instance では 認識エージェントJT は 工程 への reference を includes 認識エージェント2 は 工程 の agent では equal 認識エージェント and 認識エージェント2 認識エージェント は 工程 の patient では 認識エージェント は 工程 を wants
(=>     (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 では 認識エージェントUJ は AppraisalProcess の instance では 認識エージェント は 認識エージェントUJ の agent では 工程 認識エージェント2 工程 は 工程 の instance では 認識エージェントUJ は 工程 への reference を includes 認識エージェント2 は 工程 の agent では equal 認識エージェント and 認識エージェント2 認識エージェント は 工程 の patient では 認識エージェント は 工程 を want ない
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 229-236	Founder は AutonomousAgent の attribute では AutonomousAgent は 人［人間］ の instance では 工程 工程 は Founding の instance では AutonomousAgent は 工程 の agent では
(=>     (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 4368-4377	TwoFactorAuthentication は UserAccount の attribute では loggedInDuring AutonomousAgent, UserAccount and 時間間隔 時間間隔F 時間間隔F は TwoFactorLoggingIn の instance では AutonomousAgent は 時間間隔F の agent では accountUsed 時間間隔F and UserAccount 時間間隔F の time の existence は 時間間隔 より earlier happens
(=>     (and         (attribute ?ACCT ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?ACCT UserAccount))	UXExperimentalTerms.kif 648-652	属性 は オブジェクト の attribute では 属性 は AccountAttribute の instance では オブジェクト は UserAccount の instance では
(=>     (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 765-784	VoiceActor は AutonomousAgent の attribute では 工程 は DramaticActing の instance では AutonomousAgent は 工程 の agent では 工程 は LinguisticCommunication の instance では AutonomousAgent は 工程 の agent では 工程 は 工程% の subprocess では 工程 AutonomousAgent 工程 は 見ること の instance では AutonomousAgent は 工程 の patient では AutonomousAgent は 工程 の agent では 工程 AutonomousAgent 工程 は 聴覚 の instance では AutonomousAgent は 工程 の patient では AutonomousAgent は 工程 の agent では
(=>     (and         (attribute ?AGENT             (MemberFn ?ORG))         (instance ?AGENT AutonomousAgent)         (instance ?ORG Organization))     (member ?AGENT ?ORG))	Government.kif 1736-1741	MemberFn 組織 は オブジェクト の attribute では オブジェクト は AutonomousAgent の instance では 組織 は 組織 の instance では オブジェクト は 組織 の member では
(=>     (and         (attribute ?AREA CommunistState)         (instance ?AREA Nation))     (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 865-869	CommunistState は AutonomousAgent の attribute では AutonomousAgent は 国民 の instance では economyType AutonomousAgent and CentrallyPlannedEconomy
(=>     (and         (attribute ?AREA FlatTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.005 ?SLOPE))	Geography.kif 1912-1917	FlatTerrain は オブジェクト の attribute では 土地面積 は オブジェクト の part では slopeGradient 土地面積 and 非負実数 0.005 は 非負実数 より greater では
(=>     (and         (attribute ?AREA HighIncomeCountry)         (not             (member ?AREA OrganizationOfPetroleumExportingCountries)))     (economyType ?AREA DevelopedCountry))	Economy.kif 506-510	HighIncomeCountry は AutonomousAgent の attribute では AutonomousAgent は OrganizationOfPetroleumExportingCountries の member では economyType AutonomousAgent and DevelopedCountry
(=>     (and         (attribute ?AREA LowTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.03 ?SLOPE))	Geography.kif 1924-1929	LowTerrain は オブジェクト の attribute では 土地面積 は オブジェクト の part では slopeGradient 土地面積 and 非負実数 0.03 は 非負実数 より greater では
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1377-1384	属性 は AutonomousAgent の attribute では 属性 は ProfessionalAthlete の instance では コンテスト コンテスト は スポーツ の instance では contestParticipant コンテスト and AutonomousAgent
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1371-1375	属性 は AutonomousAgent の attribute では 属性 は ProfessionalAthlete の instance では AutonomousAgent は スポーツ をする skill が
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