(=>     (and         (paidFunctionRoomAmenity ?FR ?PHYS)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?AGENT))         (instance ?R Renting)         (patient ?R ?RM)         (destination ?R ?CUST)         (instance ?X ?PHYS)         (possesses ?AGENT ?X)         (customer ?CUST ?AGENT)         (or             (and                 (instance ?X Process)                 (or                     (agent ?X ?CUST)                     (experiencer ?X ?CUST)))             (and                 (possesses ?AGENT ?X)                 (instance ?X Object)                 (uses ?X ?CUST))))     (exists (?PRICE ?U)         (and             (price ?X                 (MeasureFn ?PRICE ?U) ?AGENT)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 871-897	paidFunctionRoomAmenity HotelFunctionRoom and 物理 エンティティー は HotelFunctionRoom の instance では %n エンティティー は AutonomousAgent の belongings の element %n 工程 は Renting の instance では %n エンティティー は 工程 の patient では %n 工程 は 認識エージェント に ends %n{ない} オブジェクト は 物理 の instance では %n AutonomousAgent は オブジェクト を possesses %n{ない} customer 認識エージェント and AutonomousAgent オブジェクト は 工程 の instance では %n 認識エージェント は オブジェクト の agent では %n 認識エージェント が オブジェクト を experiences %n{ない} AutonomousAgent は オブジェクト を possesses %n{ない} オブジェクト は オブジェクト の instance では %n 認識エージェント は オブジェクト を uses %n{ない} 実数 測定単位 price オブジェクト, 実数 の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n 実数 は 0 より greater では　%n
(=>     (and         (paidPropertyAmenity ?AGENT ?PHYS)         (instance ?X ?PHYS)         (customer ?CUST ?AGENT)         (or             (and                 (instance ?X Process)                 (or                     (agent ?X ?CUST)                     (experiencer ?X ?CUST)))             (and                 (possesses ?AGENT ?X)                 (instance ?X Object)                 (uses ?X ?CUST))))     (exists (?PRICE ?U)         (and             (price ?X                 (MeasureFn ?PRICE ?U) ?AGENT)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 569-589	paidPropertyAmenity AutonomousAgent and 物理 工程 は 物理 の instance では %n customer 認識エージェント and AutonomousAgent 工程 は 工程 の instance では %n 認識エージェント は 工程 の agent では %n 認識エージェント が 工程 を experiences %n{ない} AutonomousAgent は 工程 を possesses %n{ない} 工程 は オブジェクト の instance では %n 認識エージェント は 工程 を uses %n{ない} 実数 測定単位 price 工程, 実数 の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n 実数 は 0 より greater では　%n
(=>     (and         (paidRoomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?O ?OBJ)         (located ?O ?R)         (instance ?P Process)         (agent ?P ?GUEST)         (or             (located ?P ?R)             (patient ?P ?O)             (instrument ?P ?O)             (resource ?P ?O)))     (exists (?PRICE ?U)         (and             (price ?O                 (MeasureFn ?PRICE ?U) ?GUEST)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 396-417	paidRoomAmenity HotelUnit and 物理 物理 は オブジェクト の subclass では %n TemporaryResidence は HotelUnit の instance では %n stays 人［人間］ and TemporaryResidence TemporaryResidence は AutonomousAgent の belongings の element %n オブジェクト は 物理 の instance では %n オブジェクト は TemporaryResidence に located して %n 工程 は 工程 の instance では %n 人［人間］ は 工程 の agent では %n 工程 は TemporaryResidence に located して %n オブジェクト は 工程 の patient では %n オブジェクト は 工程 の instrument では %n オブジェクト は 工程 の resource では %n 工程RICE 測定単位 price オブジェクト, 工程RICE の 測定単位(s) and 人［人間］ 測定単位 は UnitOfCurrency の instance では %n 工程RICE は 0 より greater では　%n
(=>     (and         (roomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object))     (forall (?R)         (=>             (instance ?R ?ROOM)             (exists (?O)                 (and                     (instance ?R ?ROOM)                     (instance ?O ?OBJ)                     (located ?O ?R))))))	Hotel.kif 281-292	roomAmenity HotelUnit and 物理 物理 は オブジェクト の subclass では %n オブジェクト オブジェクト は HotelUnit の instance では %n 物理 オブジェクト は HotelUnit の instance では %n 物理 は 物理 の instance では %n 物理 は オブジェクト に located して %n
(=>     (and         (subclass ?TYPE Process)         (instance ?EVENT ?TYPE)         (eventLocated ?EVENT ?REGION)         (instance ?ROLE CaseRole)         (instance ?OBJECT Object)         (instance ?REGION GeographicArea)         (?ROLE ?EVENT ?OBJECT))     (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 2692-2701	工程 は 工程 の subclass では %n 工程 は 工程 の instance では %n eventLocated 工程 and 地域 格役割 は 格役割 の instance では %n オブジェクト は オブジェクト の instance では %n 地域 は 地理的地域 の instance では %n 格役割 工程 and オブジェクト capableAtLocation 工程, 格役割, オブジェクト and 地域
(=>     (and         (visibilityInMeteorology ?Area ?Time             (MeasureFn ?Distance ?U))         (instance ?U UnitOfMeasure)         (instance ?Time DayTime)         (instance ?Observe Looking)         (instance ?B Object)         (color ?B Black)         (agent ?Observe ?A)         (patient ?Observe ?B)         (orientation ?A ?B Horizontal)         (eventLocated ?Observe ?Area)         (during             (WhenFn ?Observe) ?Time)         (instance ?B Object))     (exists (?D2)         (and             (distance ?A ?B                 (MeasureFn ?D2 ?U))             (greaterThan ?Distance ?D2))))	Weather.kif 2724-2744	visibilityInMeteorology 地域, 時間間隔 and 実数 の 測定単位(s) 測定単位 は 測定単位 の instance では %n 時間間隔 は DayTime の instance では %n 工程 は Looking の instance では %n オブジェクト は オブジェクト の instance では %n color オブジェクト and Black AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の patient では %n AutonomousAgent は Horizontal 対 オブジェクト では %n eventLocated 工程 and 地域 工程 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト は オブジェクト の instance では %n 実数 AutonomousAgent と オブジェクト の distance は 実数 の 測定単位(s) では %n 実数 は 実数 より greater では　%n
(=>     (and         (visibilityInMeteorology ?Area ?Time             (MeasureFn ?Distance ?U))         (instance ?U UnitOfMeasure)         (instance ?Time NightTime)         (instance ?Observe Looking)         (instance ?B Region)         (attribute ?B Illuminated)         (measure ?B             (MeasureFn 1000.0 Candela))         (agent ?Observe ?A)         (patient ?Observe ?B)         (orientation ?A ?B Horizontal)         (eventLocated ?Observe ?Area)         (during             (WhenFn ?Observe) ?Time)         (instance ?B Object))     (exists (?D2)         (and             (distance ?A ?B                 (MeasureFn ?D2 ?U))             (greaterThan ?Distance ?D2))))	Weather.kif 2746-2767	visibilityInMeteorology 地域, 時間間隔 and 実数 の 測定単位(s) 測定単位 は 測定単位 の instance では %n 時間間隔 は NightTime の instance では %n 工程 は Looking の instance では %n オブジェクト は 地域 の instance では %n Illuminated は オブジェクト の attribute では %n オブジェクト の measure は 1000.0 の Candela(s) では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の patient では %n AutonomousAgent は Horizontal 対 オブジェクト では %n eventLocated 工程 and 地域 工程 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト は オブジェクト の instance では %n 実数 AutonomousAgent と オブジェクト の distance は 実数 の 測定単位(s) では %n 実数 は 実数 より greater では　%n
(=>     (and         (wants ?AGENT ?OBJ)         (instance ?OBJ Object))     (desires ?AGENT         (possesses ?AGENT ?OBJ)))	Merge.kif 2777-2782	認識エージェント は 物理 を wants %n{ない} 物理 は オブジェクト の instance では %n 認識エージェント が 認識エージェント は 物理 を possesses %n{ない} を desires %n{ない}
(=>     (and         (watchingListings ?USER ?COLL ?SITE)         (instance ?LISTING WebListing)         (instance ?OBJ Object)         (patient ?LISTING ?OBJ)         (member ?LISTING ?COLL))     (modalAttribute         (desires ?USER             (exists (?BUYING)                 (and                     (instance ?BUYING Buying)                     (patient ?BUYING ?OBJ)                     (agent ?BUYING ?USER)))) Likely))	UXExperimentalTerms.kif 1257-1271	watchingListings AutonomousAgent, コレクション and WebSite 工程 は WebListing の instance では %n エンティティー は オブジェクト の instance では %n エンティティー は 工程 の patient では %n 工程 は コレクション の member では %n ステートメント AutonomousAgent が エンティティー エンティティー は 購買 の instance では %n エンティティー は エンティティー の patient では %n AutonomousAgent は エンティティー の agent では %n を desires %n{ない} には Likely の modal force が ある
(=>     (and         (webcart ?USER ?COLL ?SITE)         (instance ?OBJ Object)         (member ?OBJ ?COLL))     (desires ?USER         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (patient ?BUYING ?OBJ)                 (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 690-700	webcart 認識エージェント, コレクション and WebSite 物理 は オブジェクト の instance では %n 物理 は コレクション の member では %n 認識エージェント が エンティティー エンティティー は 購買 の instance では %n 物理 は エンティティー の patient では %n 認識エージェント は エンティティー の agent では %n を desires %n{ない}
(=>     (instance ?O Object)     (capability Translocation destination ?O))	Merge.kif 858-860	オブジェクト は オブジェクト の instance では %n オブジェクト は Translocation を destination として行う capable では %n
(=>     (instance ?O Object)     (capability Translocation origin ?O))	Merge.kif 854-856	オブジェクト は オブジェクト の instance では %n オブジェクト は Translocation を origin として行う capable では %n
(=>     (instance ?OBJ Object)     (exists (?TIME1 ?TIME2)         (and             (instance ?TIME1 TimePoint)             (instance ?TIME2 TimePoint)             (before ?TIME1 ?TIME2)             (forall (?TIME)                 (=>                     (and                         (beforeOrEqual ?TIME1 ?TIME)                         (beforeOrEqual ?TIME ?TIME2))                     (time ?OBJ ?TIME))))))	Merge.kif 8132-8144	物理 は オブジェクト の instance では %n 時点 時点 時点 は 時点 の instance では %n 時点 は 時点 の instance では %n 時点 は 時点 の before に happens %n{ない} 時点 時点 は 時点 でもその前でも happens %n{ない} 時点 は 時点 でもその前でも happens %n{ない} 物理 は 時点 の during exists %n{ない}
(=>     (instance ?OBJ Object)     (or         (attribute ?OBJ Monochromatic)         (attribute ?OBJ Polychromatic)))	Merge.kif 17721-17725	オブジェクト は オブジェクト の instance では %n Monochromatic は オブジェクト の attribute では %n Polychromatic は オブジェクト の attribute では %n

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