(=>     (and         (instance ?Y NitricOxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7553-7559	エンティティー は NitricOxide の instance では エンティティー には attribute StandardAmbientTemperaturePressure は 時間位置 の during holds Gas は エンティティー の attribute では は 時間位置 の during holds
(=>     (and         (instance ?Y NitrogenDioxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7578-7584	エンティティー は NitrogenDioxide の instance では エンティティー には attribute StandardAmbientTemperaturePressure は 時間位置 の during holds Gas は エンティティー の attribute では は 時間位置 の during holds
(=>     (and         (instance ?Y SulphurDioxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7518-7524	エンティティー は SulphurDioxide の instance では エンティティー には attribute StandardAmbientTemperaturePressure は 時間位置 の during holds Gas は エンティティー の attribute では は 時間位置 の during holds
(=>     (and         (property ?AGREEMENT Contract)         (partyToAgreement ?AGENT1 ?AGREEMENT)         (partyToAgreement ?AGENT2 ?AGREEMENT)         (instance ?PROC IntentionalProcess)         (agent ?PROC ?AGENT1)         (realization ?PROC ?PROP)         (not             (consistent ?PROP ?AGREEMENT)))     (modalAttribute         (exists (?LEGAL)             (and                 (instance ?LEGAL LegalAction)                 (plaintiff ?LEGAL ?AGENT2)                 (defendant ?LEGAL ?AGENT1))) Possibility))	Mid-level-ontology.kif 15520-15534	Agreement には attribute Contract partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement 工程 は 意図的なプロセス の instance では 認識エージェント は 工程 の agent では 工程 は 命題 の内容を expresses consistent 命題 and Agreement ステートメント エンティティー エンティティー は 訴訟 の instance では plaintiff エンティティー and 認識エージェント defendant エンティティー and 認識エージェント には Possibility の modal force が ある
(=>     (and         (property ?ITEM ?VALUE)         (instance ?VALUE TruthValue))     (or         (instance ?ITEM Sentence)         (instance ?ITEM Proposition)))	Merge.kif 17148-17154	エンティティー には attribute 属性 属性 は 真理値 の instance では エンティティー は 文 の instance では エンティティー は 命題 の instance では
(=>     (and         (property ?OBJ ?SHAPE)         (instance ?OBJ Physical)         (instance ?SHAPE ShapeAttribute))     (shape ?OBJ ?SHAPE))	Merge.kif 7675-7680	物理 には attribute 形状属性 物理 は 物理 の instance では 形状属性 は 形状属性 の instance では shape 物理 and 形状属性
(=>     (and         (property ?OBJECT ?ATTRIBUTE)         (instance ?ATTRIBUTE AlgebroDifferentialAttribute))     (instance ?OBJECT SetOfEquations))	engineering.kif 229-233	エンティティー には attribute 属性 属性 は AlgebroDifferentialAttribute の instance では エンティティー は SetOfEquations の instance では
(=>     (and         (property ?OBJECT ?ATTRIBUTE)         (instance ?ATTRIBUTE EquationAttribute))     (or         (instance ?OBJECT Equation)         (instance ?OBJECT SetOfEquations)))	engineering.kif 210-216	エンティティー には attribute 属性 属性 は EquationAttribute の instance では エンティティー は Equation の instance では エンティティー は SetOfEquations の instance では
(=>     (and         (property ?Option AmericanStyleOption)         (optionHolder ?Option ?Agent)         (agreementExpirationDate ?Option ?Day))     (holdsRight         (exists (?Exercise)             (and                 (instance ?Exercise ExerciseAnOption)                 (patient ?Exercise ?Option)                 (before                     (EndFn                         (WhenFn ?Exercise))                     (EndFn ?Day)))) ?Agent))	FinancialOntology.kif 2805-2817	Agreement には attribute AmericanStyleOption optionHolder Agreement and 認識エージェント agreementExpirationDate Agreement and 時点 認識エージェント は エンティティー エンティティー は ExerciseAnOption の instance では Agreement は エンティティー の patient では エンティティー の time の existence の end は 時点 の end の before に happens を 実行する right を　持って
(=>     (and         (property ?Option EuropeanStyleOption)         (agreementExpirationDate ?Option ?Date))     (exists (?Period ?Time ?Exercise)         (and             (instance ?Period TimeInterval)             (equal                 (EndFn ?Period) ?Date)             (=>                 (and                     (instance ?Exercise ExerciseAnOption)                     (equal                         (WhenFn ?Exercise) ?Time))                 (temporalPart ?Time ?Period)))))	FinancialOntology.kif 2825-2837	Agreement には attribute EuropeanStyleOption agreementExpirationDate Agreement and 時点 時間間隔 時間間隔 and 物理 時間間隔 は 時間間隔 の instance では equal 時間間隔 の end and 時点 物理 は ExerciseAnOption の instance では equal 物理 の time の existence and 時間間隔 時間間隔 は 時間間隔 の part では
(=>     (and         (property ?Option Option)         (optionHolder ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate))         (underlier ?Option ?Stocks))     (holdsRight         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Stocks)                 (time ?Sell ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Sell ?Agent))) ?Agent))	FinancialOntology.kif 2686-2702	Agreement には attribute Option optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は 時間間隔 の instance では AutonomousAgent の end は 時間間隔 の beginning の before に happens underlier Agreement and FinancialInstrument 認識エージェント は エンティティー class を 実行する right を　持って
(=>     (and         (property ?Option Option)         (optionHolder ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (underlier ?Option ?Stocks)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate)))     (holdsRight         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Stocks)                 (time ?Buy ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2640-2656	Agreement には attribute Option optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は 時間間隔 の instance では AutonomousAgent の end は 時間間隔 の beginning の before に happens 認識エージェント は エンティティー class を 実行する right を　持って
(=>     (and         (property ?Option Option)         (optionSeller ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate))         (underlier ?Option ?Stocks))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Stocks)                 (time ?Buy ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2704-2720	Agreement には attribute Option optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は 時間間隔 の instance では AutonomousAgent の end は 時間間隔 の beginning の before に happens underlier Agreement and FinancialInstrument 認識エージェント はタイプ エンティティー class のタスクを実行する obliged
(=>     (and         (property ?Option Option)         (optionSeller ?Option ?Seller)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (underlier ?Option ?Stocks)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate)))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Stocks)                 (time ?Sell ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Sell ?Agent))) ?Seller))	FinancialOntology.kif 2658-2676	Agreement には attribute Option optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は 時間間隔 の instance では AutonomousAgent の end は 時間間隔 の beginning の before に happens 認識エージェント はタイプ エンティティー class のタスクを実行する obliged
(=>     (and         (property ?Option StockOption)         (underlier ?Option ?Stock))     (property ?Stock CommonStock))	FinancialOntology.kif 2729-2733	Agreement には attribute StockOption underlier Agreement and FinancialInstrument FinancialInstrument には attribute CommonStock
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR ContestAttribute))     (exists (?CONTEST)         (and             (instance ?CONTEST Contest)             (or                 (agent ?CONTEST ?THING)                 (patient ?CONTEST ?THING)                 (subProcess ?THING ?CONTEST)))))	Merge.kif 17567-17577	AutonomousAgent には attribute 属性 属性 は コンテスト属性 の instance では 工程 工程 は コンテスト の instance では AutonomousAgent は 工程 の agent では AutonomousAgent は 工程 の patient では AutonomousAgent は 工程% の subprocess では
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR GameAttribute))     (exists (?GAME)         (and             (instance ?GAME Game)             (or                 (agent ?GAME ?THING)                 (patient ?GAME ?THING)                 (subProcess ?THING ?GAME)))))	Mid-level-ontology.kif 21070-21080	AutonomousAgent には attribute 属性 属性 は GameAttribute の instance では 工程 工程 は ゲーム の instance では AutonomousAgent は 工程 の agent では AutonomousAgent は 工程 の patient では AutonomousAgent は 工程% の subprocess では
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR SportsAttribute))     (exists (?SPORT)         (and             (instance ?SPORT Game)             (or                 (agent ?SPORT ?THING)                 (patient ?SPORT ?THING)                 (subProcess ?THING ?SPORT)))))	Mid-level-ontology.kif 21086-21096	AutonomousAgent には attribute 属性 属性 は SportsAttribute の instance では 工程 工程 は ゲーム の instance では AutonomousAgent は 工程 の agent では AutonomousAgent は 工程 の patient では AutonomousAgent は 工程% の subprocess では
(=>     (and         (property ?X Booting)         (instance ?X Computer))     (exists (?CD ?OS ?DT)         (and             (instance ?CD DigitalData)             (instance ?OS OperatingSystem)             (instance ?DT DataTransfer)             (during                 (WhenFn ?DT)                 (WhenFn ?X))             (destination ?DT ?X)             (part ?CD ?OS)             (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3213-3225	物理 には attribute 起動 物理 は Computer の instance では オブジェクト オブジェクト and 移動 オブジェクト は DigitalData の instance では オブジェクト は OperatingSystem の instance では 移動 は DataTransfer の instance では 移動 の time の existence は 物理 の time の existence の during に takes 移動 は 物理 に ends オブジェクト は オブジェクト の part では objectTransferred 移動 and オブジェクト
(=>     (property ?A CompilationAlbum)     (exists (?A1 ?A2)         (and             (albumArtist ?A ?A1)             (albumArtist ?A ?A2)             (not                 (equal ?A1 ?A2)))))	Music.kif 492-499	Album には attribute CompilationAlbum Album1 Album2 albumArtist Album and Album1 albumArtist Album and Album2 equal Album1 and Album2
(=>     (property ?AGREEMENT ActiveAgreement)     (instance ?AGREEMENT Agreement))	Mid-level-ontology.kif 15484-15486	エンティティー には attribute ActiveAgreement エンティティー は Agreement の instance では
(=>     (property ?AGREEMENT ActiveAgreement)     (modalAttribute         (exists (?PROC)             (realization ?PROC ?AGREEMENT)) Obligation))	Mid-level-ontology.kif 15488-15492	エンティティー には attribute ActiveAgreement ステートメント エンティティー エンティティー は エンティティー の内容を expresses には Obligation の modal force が ある
(=>     (property ?AGREEMENT Contract)     (forall (?X)         (=>             (subProposition ?X ?AGREEMENT)             (modalAttribute ?X Legal))))	Mid-level-ontology.kif 15513-15518	命題 には attribute Contract 公式 公式 は 命題 の sub-proposition では ステートメント 公式 には Legal の modal force が ある
(=>     (property ?C MarriageContract)     (exists (?P1 ?P2)         (and             (partyToAgreement ?P1 ?C)             (partyToAgreement ?P2 ?C)             (spouse ?P1 ?P2))))	Mid-level-ontology.kif 15541-15547	Agreement には attribute MarriageContract 人［人間］ 人［人間］ partyToAgreement 人［人間］ and Agreement partyToAgreement 人［人間］ and Agreement spouse 人［人間］ and 人［人間］
(=>     (property ?C PurchaseContract)     (exists (?S ?SELLER ?BUYER)         (and             (instance ?S Selling)             (agent ?S ?SELLER)             (destination ?S ?BUYER)             (realization ?S ?C)             (partyToAgreement ?C ?SELLER)             (partyToAgreement ?C ?BUYER))))	Mid-level-ontology.kif 15554-15563	命題 には attribute PurchaseContract 工程 工程ELLER and Agreement 工程 は 販売 の instance では 工程ELLER は 工程 の agent では 工程 は Agreement に ends 工程 は 命題 の内容を expresses partyToAgreement 命題 and 工程ELLER partyToAgreement 命題 and Agreement
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