(=>     (and         (arcLength ?A ?L)         (equal ?A CircularArc))     (exists (?P ?P2)         (and             (pointOfFigure ?P ?A)             (pointOfFigure ?P2 ?A)             (not                 (equal ?P ?P2))             (geometricDistance ?P ?P2 ?L))))	Mid-level-ontology.kif 5684-5694	arcLength CircularArc and 長さ測定 CircularArc は CircularArc と equal では GeometricPoint GeometricPoint2 GeometricPoint の vertex は CircularArc では GeometricPoint2 の vertex は CircularArc では GeometricPoint は GeometricPoint2 と equal では geometricDistance GeometricPoint, GeometricPoint2 and 長さ測定
(=>     (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 では 認識エージェント は 認識エージェント2 と equal では 認識エージェント は 工程 の 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 では 認識エージェント は 認識エージェント2 と equal では 認識エージェント は 工程 の patient では 認識エージェント は 工程 を want ない
(=>     (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 ?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 31428-31440	Collectible は オブジェクト の attribute では オブジェクト は 公式 の 目的 認識エージェント 公式2 認識エージェント は 人［人間］ の instance では 認識エージェント は オブジェクト を wants 認識エージェント が 公式2 を desires 公式2 は 認識エージェント は オブジェクト を possesses を entails 公式 は 公式2 と equal では
(=>     (and         (attribute ?D DeviceDamaged)         (hasPurpose ?D ?F))     (not         (modalAttribute ?F Possibility)))	Mid-level-ontology.kif 31379-31384	DeviceDamaged は オブジェクト の attribute では オブジェクト は 公式 の 目的 ステートメント 公式 には Possibility の modal force が ない
(=>     (and         (attribute ?F DecafAttribute)         (instance ?F Food))     (not         (exists (?C)             (and                 (instance ?C Caffeine)                 (piece ?C ?F)))))	Food.kif 437-445	DecafAttribute は 物質 の attribute では 物質 は Food の instance では 物質 物質 は Caffeine の instance では 物質 は 物質 の piece では
(=>     (and         (attribute ?M MashupRecording)         (instance ?M Recording))     (exists (?M1 ?M2 ?S1 ?S2)         (and             (musicInterpretation ?M1 ?S1)             (musicInterpretation ?M2 ?S2)             (not                 (equal ?S1 ?S2))             (part ?M1 ?M)             (part ?M2 ?M))))	Music.kif 428-438	MashupRecording は オブジェクト の attribute では オブジェクト は Recording の instance では オブジェクト1 オブジェクト2, 音楽 and 音楽 musicInterpretation オブジェクト1 and 音楽 musicInterpretation オブジェクト2 and 音楽 音楽 は 音楽 と equal では オブジェクト1 は オブジェクト の part では オブジェクト2 は オブジェクト の part では
(=>     (and         (attribute ?MR CoverRecording)         (instance ?MR MusicRecording)         (songArtist ?MR ?A)         (musicInterpretation ?MR ?M)         (record ?MR ?MM))     (exists (?ORIG ?ARTIST ?MUSIC)         (and             (musicInterpretation ?ORIG ?M)             (songArtist ?ORIG ?ARTIST)             (not                 (equal ?A ?ARTIST))             (record ?ORIG ?MUSIC)             (before                 (WhenFn ?MUSIC)                 (WhenFn ?MM)))))	Music.kif 459-472	CoverRecording は MusicRecording の attribute では MusicRecording は MusicRecording の instance では songArtist MusicRecording and 認識エージェント musicInterpretation MusicRecording and 音楽 record MusicRecording and 音楽M MusicRecording 認識エージェントRTIST and 音楽USIC musicInterpretation MusicRecording and 音楽 songArtist MusicRecording and 認識エージェントRTIST 認識エージェント は 認識エージェントRTIST と equal では record MusicRecording and 音楽USIC 音楽USIC の time の existence は 音楽M の time の existence の before に happens
(=>     (and         (attribute ?SYLLABLE Stressed)         (instance ?WORD Word)         (part ?SYLLABLE ?WORD))     (not         (exists (?SYLLABLE2)             (and                 (instance ?SYLLABLE2 Syllable)                 (part ?SYLLABLE2 ?WORD)                 (attribute ?SYLLABLE2 Stressed)                 (not                     (equal ?SYLLABLE2 ?SYLLABLE))))))	Mid-level-ontology.kif 21014-21024	Stressed は オブジェクト の attribute では オブジェクト は 単語 の instance では オブジェクト は オブジェクト の part では オブジェクト2 オブジェクト2 は Syllable の instance では オブジェクト2 は オブジェクト の part では Stressed は オブジェクト2 の attribute では オブジェクト2 は オブジェクト と equal では
(=>     (and         (attribute ?U Uninhabited)         (instance ?U Region))     (not         (exists (?H)             (and                 (instance ?H Human)                 (inhabits ?H ?U)))))	Mid-level-ontology.kif 31998-32006	Uninhabited は オブジェクト の attribute では オブジェクト は 地域 の instance では 物 物 は 人［人間］ の instance では 物 は オブジェクト に lives
(=>     (and         (attribute ?X CommunalAttribute)         (instance ?X Table)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople)         (eventLocated ?E1 ?X))     (modalAttribute         (exists (?GRP2 ?E2 ?X2)             (and                 (instance ?E2 Eating)                 (agent ?E2 ?GRP2)                 (not                     (equal ?GRP1 ?GRP2))                 (instance ?GRP2 GroupOfPeople)                 (eventLocated ?E2 ?X2)                 (meetsTemporally                     (WhenFn ?E1)                     (WhenFn ?E2))                 (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	CommunalAttribute は オブジェクト の attribute では オブジェクト は Table の instance では 工程 は 摂食 の instance では AutonomousAgent は 工程 の agent では AutonomousAgent は GroupOfPeople の instance では eventLocated 工程 and オブジェクト ステートメント エンティティー エンティティー and オブジェクト2 エンティティー は 摂食 の instance では エンティティー は エンティティー の agent では AutonomousAgent は エンティティー と equal では エンティティー は GroupOfPeople の instance では eventLocated エンティティー and オブジェクト2 工程 の time の existence は エンティティー の time の existence に meets オブジェクト は オブジェクト2 と equal では には Possibility の modal force が ある
(=>     (and         (attribute ?X DutyFree)         (instance ?X Product))     (not         (exists (?DUTY)             (and                 (instance ?DUTY DutyTax)                 (patient ?DUTY ?X)))))	Hotel.kif 1477-1485	DutyFree は オブジェクト の attribute では オブジェクト は 製品 の instance では 工程 工程 は DutyTax の instance では オブジェクト は 工程 の patient では
(=>     (and         (attribute ?X Multilingual)         (instance ?SPEAK Speaking)         (agent ?SPEAK ?X))     (modalAttribute         (exists (?LANG1 ?LANG2)             (and                 (instance ?LANG1 SpokenHumanLanguage)                 (instance ?LANG2 SpokenHumanLanguage)                 (not                     (equal ?LANG1 ?LANG2))                 (or                     (patient ?SPEAK ?LANG1)                     (patient ?SPEAK ?LANG2)))) Possibility))	Mid-level-ontology.kif 27648-27661	Multilingual は AutonomousAgent の attribute では 工程 は Speaking の instance では AutonomousAgent は 工程 の agent では ステートメント エンティティー エンティティー エンティティー は SpokenHumanLanguage の instance では エンティティー は SpokenHumanLanguage の instance では エンティティー は エンティティー と equal では エンティティー は 工程 の patient では エンティティー は 工程 の patient では には Possibility の modal force が ある
(=>     (and         (attribute ?X Suite)         (instance ?X HotelUnit))     (exists (?R1 ?R2)         (and             (instance ?R1 HotelRoom)             (instance ?R2 HotelRoom)             (orientation ?R1 ?X Inside)             (orientation ?R2 ?X Inside)             (not                 (equal ?R1 ?R2)))))	Hotel.kif 1011-1022	Suite は オブジェクト の attribute では オブジェクト は HotelUnit の instance では オブジェクト オブジェクト オブジェクト は HotelRoom の instance では オブジェクト は HotelRoom の instance では オブジェクト は Inside 対 オブジェクト では オブジェクト は Inside 対 オブジェクト では オブジェクト は オブジェクト と equal では
(=>     (and         (breathingRate ?H ?T ?R)         (instance ?T Minute)         (not             (exists (?R)                 (and                     (instance ?R RecreationOrExercise)                     (agent ?R ?H)                     (during ?T                         (WhenFn ?R)))))         (holdsDuring ?T             (attribute ?H HumanAdult))         (or             (greaterThan ?R 16)             (lessThan ?R 12)))     (holdsDuring ?T         (not             (attribute ?H Healthy))))	Medicine.kif 355-373	breathingRate AutonomousAgent, 時間間隔 and 整数 時間間隔 は 分 の instance では 整数 整数 は レクリエーションまたは運動 の instance では AutonomousAgent は 整数 の agent では 時間間隔 は 整数 の time の existence の during に takes HumanAdult は AutonomousAgent の attribute では は 時間間隔 の during holds 整数 は 16 より greater では　 整数 は 12 より less では Healthy は AutonomousAgent の attribute では は 時間間隔 の during holds
(=>     (and         (commemoratesDate ?HOLIDAY             (DayFn ?DAY                 (MonthFn ?MONTH                     (YearFn ?YEAR))))         (instance ?DATE ?HOLIDAY)         (instance ?ANYO             (YearFn ?YEAR)))     (not         (earlier ?DATE ?ANYO)))	Government.kif 576-581	commemoratesDate Holiday and 正の整数 day 目 時間間隔 は Holiday の instance では 時間間隔 は 整数 year 目 の instance では 時間間隔 は 時間間隔 より earlier happen ない
(=>     (and         (connectedBodyPartTypes ?P1 ?P2 ?O)         (instance ?OC ?O)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?PC1 ?PC2)         (and             (instance ?PC1 ?P1)             (instance ?PC2 ?P2)             (not                 (equal ?PC1 ?PC2))             (part ?PC1 ?OC)             (part ?PC2 ?OC)             (connected ?PC1 ?PC2))))	Anatomy.kif 32-46	connectedBodyPartTypes 体の部分, 体の部分 and 物 物C は 物 の instance では 病気または症候群 は オブジェクト の attribute では オブジェクト オブジェクト オブジェクト は 体の部分 の instance では オブジェクト は 体の部分 の instance では オブジェクト は オブジェクト と equal では オブジェクト は 物C の part では オブジェクト は 物C の part では オブジェクト は オブジェクト と connected して
(=>     (and         (contraryAttribute @ROW)         (equal ?ATTR1             (ListOrderFn                 (ListFn @ROW) ?NUMBER1))         (equal ?ATTR2             (ListOrderFn                 (ListFn @ROW) ?NUMBER2))         (not             (equal ?NUMBER1 ?NUMBER2))         (property ?OBJ ?ATTR1))     (not         (property ?OBJ ?ATTR2)))	Merge.kif 469-477	@ROW は の disjoint では 属性 は (@ROW) の エンティティー element と equal では 属性 は (@ROW) の エンティティー element と equal では 正の整数 は 正の整数 と equal では エンティティー には attribute 属性 エンティティー には attribute 属性 ない
(=>     (and         (defenseLawyer ?P ?A)         (defendant ?P ?D))     (desires ?A         (not             (exists (?L)                 (and                     (instance ?L LegalDecision)                     (refers ?L ?P)                     (not                         (wants ?D ?L)))))))	Law.kif 300-311	defenseLawyer 訴訟 and 認識エージェント defendant 訴訟 and 認識エージェント 認識エージェント が エンティティー エンティティー は LegalDecision の instance では エンティティー は 訴訟 への reference を includes 認識エージェント は エンティティー を want ない を desires
(=>     (and         (element ?ROOM             (PropertyFn ?HOTEL))         (attribute ?ROOM AnnexRoom)         (instance ?ROOM HotelRoom))     (exists (?BLDG1 ?BLDG2 ?FRNT)         (and             (subOrganization ?FRNT ?HOTEL)             (instance ?FRNT HotelFrontDesk)             (located ?FRNT ?BLDG1)             (element ?BLDG1                 (PropertyFn ?HOTEL))             (element ?BLDG2                 (PropertyFn ?HOTEL))             (part ?ROOM ?BLDG2)             (not                 (equal ?BLDG1 ?BLDG2)))))	Hotel.kif 1135-1148	オブジェクト は 組織 の belongings の element AnnexRoom は オブジェクト の attribute では オブジェクト は HotelRoom の instance では オブジェクト オブジェクト and 組織 組織 は組織 組織 の一部では 組織 は HotelFrontDesk の instance では 組織 は オブジェクト に located して オブジェクト は 組織 の belongings の element オブジェクト は 組織 の belongings の element オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と equal では
(=>     (and         (equal             (GreatestCommonDivisorFn @ROW) ?NUMBER)         (not             (equal ?NUMBER 0)))     (not         (exists (?GREATER)             (and                 (greaterThan ?GREATER ?NUMBER)                 (forall (?ELEMENT)                     (=>                         (inList ?ELEMENT                             (ListFn @ROW))                         (equal                             (RemainderFn ?ELEMENT ?GREATER) 0)))))))	Merge.kif 4887-4901	@ROW の Greatest 公約数 は 整数 と equal では 整数 は 0 と equal では 整数 整数 は 整数 より greater では　 整数 整数 は (@ROW) の member では 整数 を 整数 で割った剰余数 は 0 と equal では
(=>     (and         (equal             (LeastCommonMultipleFn @ROW) ?NUMBER)         (not             (equal ?NUMBER 0)))     (not         (exists (?LESS)             (and                 (lessThan ?LESS ?NUMBER)                 (forall (?ELEMENT)                     (=>                         (inList ?ELEMENT                             (ListFn @ROW))                         (equal                             (RemainderFn ?LESS ?ELEMENT) 0)))))))	Merge.kif 4971-4985	@ROW の Least 公倍数 は 整数 と equal では 整数 は 0 と equal では 整数 整数 は 整数 より less では 整数 整数 は (@ROW) の member では 整数 を 整数 で割った剰余数 は 0 と equal では
(=>     (and         (equal ?S CircularSegment)         (equal ?A CircularArc)         (geometricPart ?A ?S)         (equal ?C ChordOfACircle)         (geometricPart ?C ?S))     (exists (?P1 ?P2)         (and             (not                 (equal ?P1 ?P2))             (endPointsOfLine ?P1 ?P2 ?C)             (pointOfIntersection ?A ?C ?P1)             (pointOfIntersection ?A ?C ?P2))))	Mid-level-ontology.kif 5889-5902	GeometricFigure は CircularSegment と equal では OneDimensionalFigure は CircularArc と equal では geometricPart OneDimensionalFigure and GeometricFigure OneDimensionalFigure は ChordOfACircle と equal では geometricPart OneDimensionalFigure and GeometricFigure GeometricPoint GeometricPoint GeometricPoint は GeometricPoint と equal では endPointsOfLine GeometricPoint, GeometricPoint and OneDimensionalFigure pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint
(=>     (and         (exactCardinality ?REL ?ARG 1)         (instance ?REL Predicate)         (?REL @ARGS)         (equal ?X             (ListOrderFn                 (ListFn @ARGS) ?ARG)))     (not         (exists (?Y)             (and                 (equal ?Y                     (ListOrderFn                         (ListFn @ARGS) ?ARG))                 (not                     (equal ?X ?Y))))))	Media.kif 2095-2105	exactCardinality 関係, 正の整数 and 1 関係 は 述語 の instance では 関係 @ARGS エンティティー は (@ARGS) の 正の整数th element と equal では エンティティー エンティティー は (@ARGS) の 正の整数th element と equal では エンティティー は エンティティー と equal では
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