(=>     (and         (instance ?C CuringFood)         (instance ?F Food)         (patient ?C ?F))     (exists (?D)         (and             (instance ?D Drying)             (subProcess ?D ?C)             (patient ?D ?F))))	Food.kif 96-105	工程 は CuringFood の instance では %n エンティティー は Food の instance では %n エンティティー は 工程 の patient では %n 工程 工程 は 乾燥 の instance では %n 工程 は 工程% の subprocess では %n エンティティー は 工程 の patient では %n
(=>     (and         (instance ?CA ChemicalAcid)         (instance ?CB ChemicalBase)         (instance ?C ChemicalProcess)         (patient ?C ?CA)         (patient ?C ?CB))     (exists (?CS)         (and             (instance ?CS ChemicalSalt)             (result ?C ?CS))))	Mid-level-ontology.kif 8725-8735	エンティティー は ChemicalAcid の instance では %n エンティティー は ChemicalBase の instance では %n 工程 は 化学プロセス の instance では %n エンティティー は 工程 の patient では %n エンティティー は 工程 の patient では %n 工程S 工程S は ChemicalSalt の instance では %n 工程S は 工程 の result では %n
(=>     (and         (instance ?CARNIVORE Carnivore)         (instance ?EAT Eating)         (agent ?EAT ?CARNIVORE)         (patient ?EAT ?PREY))     (instance ?PREY Animal))	Merge.kif 14625-14631	AutonomousAgent は 肉食動物 の instance では %n 工程 は 摂食 の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n エンティティー は 動物 の instance では %n
(=>     (and         (instance ?CATCH Catching)         (agent ?CATCH ?AGENT)         (patient ?CATCH ?BALL))     (holdsDuring         (EndFn             (WhenFn ?CATCH))         (grasps ?AGENT ?BALL)))	Mid-level-ontology.kif 17111-17116	工程 は Catching の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n AutonomousAgent は エンティティー を grasps %n{ない} は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?CATCH Catching)         (patient ?CATCH ?BALL))     (instance ?BALL Ball))	Mid-level-ontology.kif 17105-17109	工程 は Catching の instance では %n エンティティー は 工程 の patient では %n エンティティー は Ball の instance では %n
(=>     (and         (instance ?CATEG WebListingCategory)         (instance ?LISTING1 WebListing)         (instance ?LISTING2 WebListing)         (instance ?ITEM1 Object)         (instance ?ITEM2 Object)         (member ?LISTING1 ?CATEG)         (member ?LISTING2 ?CATEG)         (patient ?ITEM1 ?LISTING1)         (patient ?ITEM2 ?LISTING2))     (exists (?CLASS)         (and             (instance ?CLASS Class)             (instance ?ITEM1 ?CLASS)             (instance ?ITEM2 ?CLASS))))	UXExperimentalTerms.kif 145-160	コレクション は WebListingCategory の instance では %n 物理 は WebListing の instance では %n 物理 は WebListing の instance では %n 工程 は オブジェクト の instance では %n 工程 は オブジェクト の instance では %n 物理 は コレクション の member では %n 物理 は コレクション の member では %n 物理 は 工程 の patient では %n 物理 は 工程 の patient では %n クラス クラス は クラス の instance では %n 工程 は クラス の instance では %n 工程 は クラス の instance では %n
(=>     (and         (instance ?CHANGE ChangeOfPossession)         (origin ?CHANGE ?AGENT1)         (destination ?CHANGE ?AGENT2)         (instance ?AGENT1 AutonomousAgent)         (instance ?AGENT2 AutonomousAgent)         (patient ?CHANGE ?OBJ))     (and         (holdsDuring             (BeginFn                 (WhenFn ?CHANGE))             (possesses ?AGENT1 ?OBJ))         (holdsDuring             (EndFn                 (WhenFn ?CHANGE))             (possesses ?AGENT2 ?OBJ))))	Merge.kif 11678-11688	工程 は 所有権の変更 の instance では %n 工程 は オブジェクト から originates %n{ない} 工程 は エンティティー に ends %n{ない} オブジェクト は AutonomousAgent の instance では %n エンティティー は AutonomousAgent の instance では %n エンティティー は 工程 の patient では %n オブジェクト は エンティティー を possesses %n{ない} は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー を possesses %n{ない} は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?CHANGE ChangeOfPossession)         (patient ?CHANGE ?OBJ)         (holdsDuring             (BeginFn                 (WhenFn ?CHANGE))             (possesses ?AGENT1 ?OBJ))         (holdsDuring             (EndFn                 (WhenFn ?CHANGE))             (possesses ?AGENT2 ?OBJ)))     (not         (equal ?AGENT1 ?AGENT2)))	Merge.kif 11669-11676	工程 は 所有権の変更 の instance では %n エンティティー は 工程 の patient では %n エンティティー は エンティティー を possesses %n{ない} は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー を possesses %n{ない} は 工程 の time の existence の end の during holds %n{ない} エンティティー は エンティティー と equal では
(=>     (and         (instance ?CHANGE InternalChange)         (patient ?CHANGE ?OBJ))     (exists (?PROPERTY)         (or             (and                 (holdsDuring                     (BeginFn                         (WhenFn ?CHANGE))                     (attribute ?OBJ ?PROPERTY))                 (holdsDuring                     (EndFn                         (WhenFn ?CHANGE))                     (not                         (attribute ?OBJ ?PROPERTY))))             (and                 (holdsDuring                     (BeginFn                         (WhenFn ?CHANGE))                     (not                         (attribute ?OBJ ?PROPERTY)))                 (holdsDuring                     (EndFn                         (WhenFn ?CHANGE))                     (attribute ?OBJ ?PROPERTY))))))	Merge.kif 12621-12632	工程 は 内部変化 の instance では %n エンティティー は 工程 の patient では %n エンティティー エンティティー は エンティティー の attribute では %n は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー の attribute では は 工程 の time の existence の end の during holds %n{ない} エンティティー は エンティティー の attribute では は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー の attribute では %n は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?CLOSE ClosingGraphicalWindow)         (patient ?CLOSE ?WINDOW))     (and         (instance ?WINDOW InterfaceWindow)         (time ?WINDOW             (BeginFn                 (WhenFn ?OPEN)))         (not             (time ?WINDOW                 (EndFn                     (WhenFn ?OPEN))))))	ComputerInput.kif 2438-2445	工程 は ClosingGraphicalWindow の instance では %n 物理 は 工程 の patient では %n 物理 は InterfaceWindow の instance では %n 物理 は 物理 の time の existence の beginning の during exists %n{ない} 物理 は 物理 の time の existence の end の during exist ない
(=>     (and         (instance ?COLORING Coloring)         (patient ?COLORING ?OBJ))     (exists (?PROPERTY ?PART)         (and             (part ?PART ?OBJ)             (instance ?PROPERTY ColorAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?COLORING))                         (attribute ?PART ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?COLORING))                         (not                             (attribute ?PART ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?COLORING))                         (not                             (attribute ?PART ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?COLORING))                         (attribute ?PART ?PROPERTY)))))))	Merge.kif 12658-12672	工程 は coloring の instance では %n オブジェクト は 工程 の patient では %n エンティティー オブジェクト オブジェクト は オブジェクト の part では %n エンティティー は カラー属性 の instance では %n エンティティー は オブジェクト の attribute では %n は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は オブジェクト の attribute では は 工程 の time の existence の end の during holds %n{ない} エンティティー は オブジェクト の attribute では は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は オブジェクト の attribute では %n は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?COMM LinguisticCommunication)         (agent ?COMM ?AGENT)         (patient ?COMM ?SENTENCE)         (instance ?SENTENCE Sentence))     (holdsDuring         (WhenFn ?COMM)         (states ?AGENT ?SENTENCE)))	Media.kif 1836-1842	工程 は LinguisticCommunication の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n エンティティー は 文 の instance では %n states AutonomousAgent and エンティティー は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?COMMENTING Commenting)         (instance ?PROCESS Process)         (patient ?COMMENTING ?PROCESS))     (exists (?AGENT ?SPEAKING ?LOOKING)         (and             (instance ?AGENT AutonomousAgent)             (instance ?SPEAKING Speaking)             (instance ?LOOKING Looking)             (agent ?SPEAKING ?AGENT)             (agent ?LOOKING ?AGENT)             (patient ?LOOKING ?PROCESS)             (refers ?SPEAKING ?PROCESS))))	Mid-level-ontology.kif 15886-15899	工程 は Commenting の instance では %n エンティティー は 工程 の instance では %n エンティティー は 工程 の patient では %n AutonomousAgent 工程 and 工程 AutonomousAgent は AutonomousAgent の instance では %n 工程 は Speaking の instance では %n 工程 は Looking の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n 工程 は エンティティー への reference を includes %n{ない}
(=>     (and         (instance ?COMMIT Committing)         (patient ?COMMIT ?FORMULA)         (instance ?FORMULA Formula))     (modalAttribute ?FORMULA Promise))	Merge.kif 13248-13253	工程 は 委託 の instance では %n 公式 は 工程 の patient では %n 公式 は 公式 の instance では %n ステートメント 公式 には Promise の modal force が ある
(=>     (and         (instance ?COND Condensing)         (patient ?COND ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?COND))                 (attribute ?PART Gas))             (holdsDuring                 (EndFn                     (WhenFn ?COND))                 (attribute ?PART Liquid)))))	Merge.kif 14001-14009	工程 は 凝縮 の instance では %n オブジェクト は 工程 の patient では %n オブジェクト オブジェクト は オブジェクト の part では %n Gas は オブジェクト の attribute では %n は 工程 の time の existence の beginning の during holds %n{ない} Liquid は オブジェクト の attribute では %n は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?CONDUCT MusicalConducting)         (patient ?CONDUCT ?PATIENT)         (instance ?M Musician))     (or         (instance ?PATIENT MusicalGroup)         (holdsDuring             (WhenFn ?CONDUCT)             (attribute ?PATIENT ?M))))	Mid-level-ontology.kif 18505-18514	工程 は MusicalConducting の instance では %n エンティティー は 工程 の patient では %n エンティティー は Musician の instance では %n エンティティー は MusicalGroup の instance では %n エンティティー は エンティティー の attribute では %n は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?CONDUCT OrchestralConducting)         (patient ?CONDUCT ?GRP))     (instance ?CONDUCT Orchestra))	Mid-level-ontology.kif 18520-18524	工程 は OrchestralConducting の instance では %n エンティティー は 工程 の patient では %n 工程 は Orchestra の instance では %n
(=>     (and         (instance ?CONFINE Confining)         (patient ?CONFINE ?PERSON)         (instance ?PERSON Human))     (not         (desires ?PERSON             (patient ?CONFINE ?PERSON))))	Merge.kif 12234-12239	工程 は 閉じ込め の instance では %n 認識エージェント は 工程 の patient では %n 認識エージェント は 人［人間］ の instance では %n 認識エージェント が 認識エージェント は 工程 の patient では %n を desire ない
(=>     (and         (instance ?COOL Cooling)         (patient ?COOL ?OBJ))     (exists (?UNIT ?QUANT1 ?QUANT2)         (and             (instance ?UNIT TemperatureMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT1))             (holdsDuring                 (EndFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT2))             (lessThan ?QUANT2 ?QUANT1))))	Merge.kif 10983-10996	工程 は 冷却 の instance では %n エンティティー は 工程 の patient では %n エンティティー 実数 and 実数 エンティティー は 温度測定 の instance では %n エンティティー の エンティティー(s) は 実数 と equal では %n は 工程 の time の existence の beginning の during holds %n{ない} エンティティー の エンティティー(s) は 実数 と equal では %n は 工程 の time の existence の end の during holds %n{ない} 実数 は 実数 より less では %n
(=>     (and         (instance ?COUNT Counting)         (agent ?COUNT ?AGENT)         (patient ?COUNT ?ENTITY))     (exists (?NUMBER)         (knows ?AGENT             (equal                 (CardinalityFn ?ENTITY) ?NUMBER))))	Merge.kif 12158-12164	工程 は 計数 の instance では %n 認識エージェント は 工程 の agent では %n エンティティー は 工程 の patient では %n エンティティー 認識エージェント は エンティティー の instances の数 は エンティティー と equal では %n を knows %n{ない}
(=>     (and         (instance ?COVERING CoveringGUIElement)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (or             (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)             (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))	ComputerInput.kif 2597-2607	時間間隔 は CoveringGUIElement の instance では %n エンティティー_TOP は 時間間隔 の agent では %n エンティティー_BOTTOM は 時間間隔 の patient では %n エンティティー_TOP は GUIElement の instance では %n エンティティー_BOTTOM は GUIElement の instance では %n guiElementCoveredBy エンティティー_BOTTOM and エンティティー_TOP guiElementPartiallyCoveredBy エンティティー_BOTTOM and エンティティー_TOP は 時間間隔 の end の during holds %n{ない}
(=>     (and         (instance ?COVERING PartiallyCoveringGraphicalWindow)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))	ComputerInput.kif 2609-2617	時間間隔 は PartiallyCoveringGraphicalWindow の instance では %n エンティティー_TOP は 時間間隔 の agent では %n エンティティー_BOTTOM は 時間間隔 の patient では %n エンティティー_TOP は GUIElement の instance では %n エンティティー_BOTTOM は GUIElement の instance では %n guiElementPartiallyCoveredBy エンティティー_BOTTOM and エンティティー_TOP は 時間間隔 の end の during holds %n{ない}
(=>     (and         (instance ?Check Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check))     (exists (?Depositing)         (and             (instance ?Depositing DepositingACheck)             (patient ?Depositing ?Check)             (time ?Depositing                 (ImmediatePastFn                     (WhenFn ?Processing))))))	FinancialOntology.kif 137-146	エンティティー は Check の instance では %n 工程 は ProcessingACheck の instance では %n エンティティー は 工程 の patient では %n 工程 工程 は DepositingACheck の instance では %n エンティティー は 工程 の patient では %n 工程 は 工程 の time の existence の immediately before の during exists %n{ない}
(=>     (and         (instance ?Check VerifyingCardCode)         (patient ?Check ?Code)         (cardCode ?Code ?Card))     (exists (?Decode)         (and             (instance ?Decode Decoding)             (subProcess ?Decode ?Check)             (patient ?Decode ?Code))))	FinancialOntology.kif 3572-3581	工程 は VerifyingCardCode の instance では %n コンテンツベアリングオブジェクト は 工程 の patient では %n cardCode コンテンツベアリングオブジェクト and BankCard 工程 工程 は 復号化 の instance では %n 工程 は 工程% の subprocess では %n コンテンツベアリングオブジェクト は 工程 の patient では %n
(=>     (and         (instance ?Closing ClosingAnAccount)         (patient ?Closing ?Account))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?Closing))             (instance ?Account FinancialAccount))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?Closing))             (not                 (instance ?Account FinancialAccount)))))	FinancialOntology.kif 391-401	工程 は ClosingAnAccount の instance では %n エンティティー は 工程 の patient では %n エンティティー は FinancialAccount の instance では %n は 工程 の time の existence の immediately before の during holds %n{ない} エンティティー は FinancialAccount の instance では は 工程 の time の existence の すぐ after の during holds %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