(=>     (instance ?BRD BusinessRequirementDocument)     (exists (?PLAN ?BU ?PROC)         (and             (instance ?PLAN Plan)             (instance ?BU Business)             (instance ?PROC Process)             (represents ?PLAN ?PROC)             (desires ?BU ?PROC)             (containsInformation ?BRD ?PLAN))))	UXExperimentalTerms.kif 2596-2605	ContentBearingPhysical は BusinessRequirementDocument の instance では 命題 認識エージェント and 公式 命題 は 計画 の instance では 認識エージェント は Business の instance では 公式 は 工程 の instance では 命題 は 公式 を expresses 認識エージェント が 公式 を desires ContentBearingPhysical は 命題 の情報を contains
(=>     (instance ?C Correcting)     (exists (?D ?S ?SP ?CP)         (and             (instance ?D Disagreeing)             (subProcess ?C ?D)             (instance ?S Stating)             (subProcess ?S ?D)             (containsInformation ?S ?SP)             (containsInformation ?C ?CP)             (refers ?CP ?SP)             (not                 (consistent ?CP ?SP)))))	Mid-level-ontology.kif 31612-31624	工程 は Correcting の instance では 工程 工程, 工程P and 工程P 工程 は Disagreeing の instance では 工程 は 工程% の subprocess では 工程 は 記載 の instance では 工程 は 工程% の subprocess では 工程 は 工程P の情報を contains 工程 は 工程P の情報を contains 工程P は 工程P への reference を includes consistent 工程P and 工程P
(=>     (instance ?C Crossposting)     (exists (?I ?P1 ?P2 ?D1 ?D2)         (and             (instance ?P1 Posting)             (instance ?P2 Posting)             (containsInformation ?P1 ?I)             (containsInformation ?P1 ?I)             (destination ?P1 ?D1)             (destination ?P2 ?D2)             (not                 (equal ?P1 ?P2))             (not                 (equal ?D1 ?D2))             (subProcess ?P1 ?C)             (subProcess ?P2 ?C))))	ComputingBrands.kif 4638-4653	工程 は Crossposting の instance では 命題 工程, 工程, エンティティー and エンティティー 工程 は Posting の instance では 工程 は Posting の instance では 工程 は 命題 の情報を contains 工程 は 命題 の情報を contains 工程 は エンティティー に ends 工程 は エンティティー に ends 工程 は 工程 と equal では エンティティー は エンティティー と equal では 工程 は 工程% の subprocess では 工程 は 工程% の subprocess では
(=>     (instance ?CAST DramaticCast)     (exists (?TEXT ?PROP ?PROC)         (and             (instance ?TEXT FictionalText)             (containsInformation ?TEXT ?PROP)             (realization ?PROC ?PROP)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?CAST)                     (exists (?SUB)                         (and                             (instance ?SUB DramaticActing)                             (agent ?SUB ?MEMBER)                             (subProcess ?SUB ?PROC))))))))	Mid-level-ontology.kif 17354-17368	コレクション は DramaticCast の instance では ContentBearingPhysical 命題 and 工程 ContentBearingPhysical は FictionalText の instance では ContentBearingPhysical は 命題 の情報を contains 工程 は 命題 の内容を expresses AutonomousAgent AutonomousAgent は コレクション の member では 工程 工程 は DramaticActing の instance では AutonomousAgent は 工程 の agent では 工程 は 工程% の subprocess では
(=>     (instance ?CONPLANwithTPFDD CONPLANwithTPFDD)     (exists (?CBO)         (and             (instance ?CBO TPFDDFile)             (containsInformation ?CBO ?CONPLANwithTPFDD))))	MilitaryProcesses.kif 1623-1628	命題 は CONPLANwithTPFDD の instance では ContentBearingPhysical ContentBearingPhysical は TPFDDFile の instance では ContentBearingPhysical は 命題 の情報を contains
(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Obligation))))	Government.kif 617-625	命題 は Constitution の instance では 公式 命題 公式 は 公式 の instance では 公式 は 命題 の情報を contains 命題 は 命題 の instance では 命題 は 命題 の sub-proposition では ステートメント 公式 には Obligation の modal force が ある
(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Permission))))	Government.kif 627-635	命題 は Constitution の instance では 公式 命題 公式 は 公式 の instance では 公式 は 命題 の情報を contains 命題 は 命題 の instance では 命題 は 命題 の sub-proposition では ステートメント 公式 には Permission の modal force が ある
(=>     (instance ?DIS Disagreeing)     (exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2)         (and             (subProcess ?STATE1 ?DIS)             (subProcess ?STATE2 ?DIS)             (agent ?STATE1 ?A1)             (agent ?STATE2 ?A2)             (not                 (equal ?A1 ?A2))             (containsInformation ?STATE1 ?STMT1)             (containsInformation ?STATE2 ?STMT2)             (not                 (consistent ?STMT1 ?STMT2)))))	Merge.kif 13296-13309	工程 は Disagreeing の instance では AutonomousAgent AutonomousAgent, 工程, 工程, 命題 and 命題 工程 は 工程% の subprocess では 工程 は 工程% の subprocess では AutonomousAgent は 工程 の agent では AutonomousAgent は 工程 の agent では AutonomousAgent は AutonomousAgent と equal では 工程 は 命題 の情報を contains 工程 は 命題 の情報を contains consistent 命題 and 命題
(=>     (instance ?DOC ConstitutionDocument)     (exists (?CONST)         (and             (instance ?CONST Constitution)             (containsInformation ?DOC ?CONST))))	Government.kif 652-657	ContentBearingPhysical は ConstitutionDocument の instance では 命題 命題 は Constitution の instance では ContentBearingPhysical は 命題 の情報を contains
(=>     (instance ?DOC ContractDocument)     (exists (?PROP)         (and             (containsInformation ?DOC ?PROP)             (property ?PROP Contract))))	Media.kif 979-984	ContentBearingPhysical は ContractDocument の instance では 命題 ContentBearingPhysical は 命題 の情報を contains 命題 には attribute Contract
(=>     (instance ?E Elaborating)     (exists (?L ?EP ?LP)         (and             (instance ?L LinguisticCommunication)             (earlier ?L ?E)             (containsInformation ?E ?EP)             (containsInformation ?L ?LP)             (subsumesContentInstance ?EP ?LP))))	Mid-level-ontology.kif 31580-31588	時間間隔 は Elaborating の instance では 時間間隔 時間間隔P and 時間間隔P 時間間隔 は LinguisticCommunication の instance では 時間間隔 は 時間間隔 より earlier happens 時間間隔 は 時間間隔P の情報を contains 時間間隔 は 時間間隔P の情報を contains 時間間隔P は 時間間隔P の コンテンツを subsumes
(=>     (instance ?FILE SoftwareFile)     (exists (?PROGRAM ?SUBPROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)             (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1536-1542	ContentBearingPhysical は SoftwareFile の instance では ContentBearingPhysical 命題 ContentBearingPhysical は コンピュータープログラム の instance では ContentBearingPhysical は 命題 の コンテンツを subsumes ContentBearingPhysical は 命題 の情報を contains
(=>     (instance ?FILE TPFDDFile)     (and         (containsInformation ?FILE ?TPFDD)         (instance ?TPFDD TPFDD)))	MilitaryProcesses.kif 1651-1655	ContentBearingPhysical は TPFDDFile の instance では ContentBearingPhysical は 命題 の情報を contains 命題 は TPFDD の instance では
(=>     (instance ?L LyricalContent)     (exists (?W ?I)         (and             (instance ?W Word)             (containsInformation ?W ?I)             (subProposition ?I ?L))))	Mid-level-ontology.kif 15173-15179	命題 は LyricalContent の instance では ContentBearingPhysical 命題 ContentBearingPhysical は 単語 の instance では ContentBearingPhysical は 命題 の情報を contains 命題 は 命題 の sub-proposition では
(=>     (instance ?MANUAL JOPESManual)     (and         (containsInformation ?MANUAL ?JOPES)         (instance ?JOPES JOPES)))	MilitaryProcesses.kif 1844-1848	ContentBearingPhysical は JOPESManual の instance では ContentBearingPhysical は 命題 の情報を contains 命題 は JOPES の instance では
(=>     (instance ?OPINION LegalOpinion)     (exists (?DECISION ?TEXT ?PROPOSITION)         (and             (instance ?DECISION LegalDecision)             (result ?DECISION ?TEXT)             (containsInformation ?TEXT ?PROPOSITION)             (conclusion ?PROPOSITION ?OPINION))))	Mid-level-ontology.kif 17574-17581	命題 は LegalOpinion の instance では 工程 ContentBearingPhysical and Argument 工程 は LegalDecision の instance では ContentBearingPhysical は 工程 の result では ContentBearingPhysical は Argument の情報を contains 引数 Argument の 結論は 命題 です
(=>     (instance ?OPLAN OPLAN)     (exists (?CBO)         (and             (instance ?CBO TPFDDFile)             (containsInformation ?CBO ?OPLAN))))	MilitaryProcesses.kif 1802-1807	命題 は OPLAN の instance では ContentBearingPhysical ContentBearingPhysical は TPFDDFile の instance では ContentBearingPhysical は 命題 の情報を contains
(=>     (instance ?PLAY DramaticPlay)     (hasPurpose ?PLAY         (exists (?ACT ?PROP)             (and                 (instance ?ACT DramaticActing)                 (containsInformation ?PLAY ?PROP)                 (realization ?ACT ?PROP)))))	Mid-level-ontology.kif 16327-16334	物理 は DramaticPlay の instance では 物理 は エンティティー エンティティー エンティティー は DramaticActing の instance では 物理 は エンティティー の情報を contains エンティティー は エンティティー の内容を expresses の 目的
(=>     (instance ?PROG PerformanceProgram)     (exists (?PERF ?PROP)         (and             (containsInformation ?PROG ?PROP)             (realization ?PERF ?PROP)             (instance ?PERF Performance))))	Mid-level-ontology.kif 15910-15916	ContentBearingPhysical は PerformanceProgram の instance では 工程 命題 ContentBearingPhysical は 命題 の情報を contains 工程 は 命題 の内容を expresses 工程 は Performance の instance では
(=>     (instance ?R Reciting)     (exists (?P ?T)         (and             (realization ?R ?P)             (containsInformation ?T ?P)             (instance ?T Text))))	Mid-level-ontology.kif 17308-17314	工程 は Reciting の instance では 命題 ContentBearingPhysical 工程 は 命題 の内容を expresses ContentBearingPhysical は 命題 の情報を contains ContentBearingPhysical は テキスト の instance では
(=>     (instance ?R Restating)     (exists (?L ?LP ?RP)         (and             (instance ?L LinguisticCommunication)             (earlier ?L ?R)             (containsInformation ?R ?RP)             (containsInformation ?L ?LP)             (equivalentContentInstance ?RP ?LP))))	Mid-level-ontology.kif 31597-31605	時間間隔 は Restating の instance では 時間間隔 時間間隔P and 時間間隔P 時間間隔 は LinguisticCommunication の instance では 時間間隔 は 時間間隔 より earlier happens 時間間隔 は 時間間隔P の情報を contains 時間間隔 は 時間間隔P の情報を contains 時間間隔P は 時間間隔P と equivalent では
(=>     (instance ?READ Reading)     (exists (?TEXT ?PROP)         (and             (instance ?TEXT Text)             (containsInformation ?TEXT ?PROP)             (realization ?READ ?PROP))))	Merge.kif 12828-12834	工程 は 読み の instance では ContentBearingPhysical 命題 ContentBearingPhysical は テキスト の instance では ContentBearingPhysical は 命題 の情報を contains 工程 は 命題 の内容を expresses
(=>     (instance ?RECORD AudioRecording)     (exists (?INFO ?SOUND)         (and             (containsInformation ?RECORD ?INFO)             (realization ?SOUND ?INFO)             (instance ?SOUND RadiatingSound))))	Mid-level-ontology.kif 15685-15691	ContentBearingPhysical は AudioRecording の instance では 命題 工程 ContentBearingPhysical は 命題 の情報を contains 工程 は 命題 の内容を expresses 工程 は 放射音 の instance では
(=>     (instance ?SENT Sentence)     (exists (?PROP)         (and             (instance ?PROP Proposition)             (containsInformation ?SENT ?PROP))))	Merge.kif 15585-15590	ContentBearingPhysical は 文 の instance では 命題 命題 は 命題 の instance では ContentBearingPhysical は 命題 の情報を contains
(=>     (instance ?SIGNING SigningAnAgreement)     (exists (?DOC ?TERMS)         (and             (instance ?DOC LinguisticExpression)             (instance ?TERMS Agreement)             (containsInformation ?DOC ?TERMS)             (patient ?SIGNING ?DOC))))	Geography.kif 3113-3120	工程 は SigningAnAgreement の instance では ContentBearingPhysical 命題 ContentBearingPhysical は 言語表現 の instance では 命題 は Agreement の instance では ContentBearingPhysical は 命題 の情報を contains ContentBearingPhysical は 工程 の patient では
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