(=>     (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 では %n 命題 認識エージェント and 公式 命題 は 計画 の instance では %n 認識エージェント は Business の instance では %n 公式 は 工程 の instance では %n 命題 は 公式 を expresses %n{ない} 認識エージェント が 公式 を desires %n{ない} ContentBearingPhysical は 命題 の情報を contains %n{ない}
(=>     (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 29679-29691	工程 は Correcting の instance では %n 工程 工程, 工程P and 工程P 工程 は Disagreeing の instance では %n 工程 は 工程% の subprocess では %n 工程 は 記載 の instance では %n 工程 は 工程% の subprocess では %n 工程 は 工程P の情報を contains %n{ない} 工程 は 工程P の情報を contains %n{ない} 工程P は 工程P への reference を includes %n{ない} 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 4643-4658	工程 は Crossposting の instance では %n 命題 工程, 工程, エンティティー and エンティティー 工程 は Posting の instance では %n 工程 は Posting の instance では %n 工程 は 命題 の情報を contains %n{ない} 工程 は 命題 の情報を contains %n{ない} 工程 は エンティティー に ends %n{ない} 工程 は エンティティー に ends %n{ない} 工程 は 工程 と equal では エンティティー は エンティティー と equal では 工程 は 工程% の subprocess では %n 工程 は 工程% の subprocess では %n
(=>     (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 15966-15980	コレクション は DramaticCast の instance では %n ContentBearingPhysical 命題 and 工程 ContentBearingPhysical は FictionalText の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 工程 は 命題 の内容を expresses %n{ない} AutonomousAgent AutonomousAgent は コレクション の member では %n 工程 工程 は DramaticActing の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?CONPLANwithTPFDD CONPLANwithTPFDD)     (exists (?CBO)         (and             (instance ?CBO TPFDDFile)             (containsInformation ?CBO ?CONPLANwithTPFDD))))	MilitaryProcesses.kif 1623-1628	命題 は CONPLANwithTPFDD の instance では %n ContentBearingPhysical ContentBearingPhysical は TPFDDFile の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない}
(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Obligation))))	Government.kif 653-661	命題 は Constitution の instance では %n 公式 命題 公式 は 公式 の instance では %n 公式 は 命題 の情報を contains %n{ない} 命題 は 命題 の instance では %n 命題 は 命題 の sub-proposition では %n ステートメント 公式 には 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 663-671	命題 は Constitution の instance では %n 公式 命題 公式 は 公式 の instance では %n 公式 は 命題 の情報を contains %n{ない} 命題 は 命題 の instance では %n 命題 は 命題 の sub-proposition では %n ステートメント 公式 には 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 13179-13192	工程 は Disagreeing の instance では %n AutonomousAgent AutonomousAgent, 工程, 工程, 命題 and 命題 工程 は 工程% の subprocess では %n 工程 は 工程% の subprocess では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は AutonomousAgent と equal では 工程 は 命題 の情報を contains %n{ない} 工程 は 命題 の情報を contains %n{ない} consistent 命題 and 命題
(=>     (instance ?DOC ConstitutionDocument)     (exists (?CONST)         (and             (instance ?CONST Constitution)             (containsInformation ?DOC ?CONST))))	Government.kif 688-693	ContentBearingPhysical は ConstitutionDocument の instance では %n 命題 命題 は Constitution の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない}
(=>     (instance ?DOC ContractDocument)     (exists (?PROP)         (and             (containsInformation ?DOC ?PROP)             (property ?PROP Contract))))	Media.kif 979-984	ContentBearingPhysical は ContractDocument の instance では %n 命題 ContentBearingPhysical は 命題 の情報を contains %n{ない} 命題 には attribute Contract %n{ない}
(=>     (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 29647-29655	時間間隔 は Elaborating の instance では %n 時間間隔 時間間隔P and 時間間隔P 時間間隔 は LinguisticCommunication の instance では %n 時間間隔 は 時間間隔 より earlier happens %n{ない} 時間間隔 は 時間間隔P の情報を contains %n{ない} 時間間隔 は 時間間隔P の情報を contains %n{ない} 時間間隔P は 時間間隔P の コンテンツを subsumes %n{ない}
(=>     (instance ?FILE SoftwareFile)     (exists (?PROGRAM ?SUBPROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)             (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1534-1540	ContentBearingPhysical は SoftwareFile の instance では %n ContentBearingPhysical 命題 ContentBearingPhysical は コンピュータープログラム の instance では %n ContentBearingPhysical は 命題 の コンテンツを subsumes %n{ない} ContentBearingPhysical は 命題 の情報を contains %n{ない}
(=>     (instance ?FILE TPFDDFile)     (and         (containsInformation ?FILE ?TPFDD)         (instance ?TPFDD TPFDD)))	MilitaryProcesses.kif 1651-1655	ContentBearingPhysical は TPFDDFile の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 命題 は TPFDD の instance では %n
(=>     (instance ?L LyricalContent)     (exists (?W ?I)         (and             (instance ?W Word)             (containsInformation ?W ?I)             (subProposition ?I ?L))))	Mid-level-ontology.kif 13801-13807	命題 は LyricalContent の instance では %n ContentBearingPhysical 命題 ContentBearingPhysical は 単語 の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 命題 は 命題 の sub-proposition では %n
(=>     (instance ?MANUAL JOPESManual)     (and         (containsInformation ?MANUAL ?JOPES)         (instance ?JOPES JOPES)))	MilitaryProcesses.kif 1844-1848	ContentBearingPhysical は JOPESManual の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 命題 は JOPES の instance では %n
(=>     (instance ?OPINION LegalOpinion)     (exists (?DECISION ?TEXT ?PROPOSITION)         (and             (instance ?DECISION LegalDecision)             (result ?DECISION ?TEXT)             (containsInformation ?TEXT ?PROPOSITION)             (conclusion ?PROPOSITION ?OPINION))))	Mid-level-ontology.kif 16186-16193	命題 は LegalOpinion の instance では %n 工程 ContentBearingPhysical and Argument 工程 は LegalDecision の instance では %n ContentBearingPhysical は 工程 の result では %n ContentBearingPhysical は Argument の情報を contains %n{ない} 引数 Argument の 結論は 命題 です
(=>     (instance ?OPLAN OPLAN)     (exists (?CBO)         (and             (instance ?CBO TPFDDFile)             (containsInformation ?CBO ?OPLAN))))	MilitaryProcesses.kif 1802-1807	命題 は OPLAN の instance では %n ContentBearingPhysical ContentBearingPhysical は TPFDDFile の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない}
(=>     (instance ?PLAY DramaticPlay)     (hasPurpose ?PLAY         (exists (?ACT ?PROP)             (and                 (instance ?ACT DramaticActing)                 (containsInformation ?PLAY ?PROP)                 (realization ?ACT ?PROP)))))	Mid-level-ontology.kif 14953-14960	物理 は DramaticPlay の instance では %n 物理 は エンティティー エンティティー エンティティー は DramaticActing の instance では %n 物理 は エンティティー の情報を contains %n{ない} エンティティー は エンティティー の内容を expresses %n{ない} の 目的 %n{ない}
(=>     (instance ?PROG PerformanceProgram)     (exists (?PERF ?PROP)         (and             (containsInformation ?PROG ?PROP)             (realization ?PERF ?PROP)             (instance ?PERF Performance))))	Mid-level-ontology.kif 14538-14544	ContentBearingPhysical は PerformanceProgram の instance では %n 工程 命題 ContentBearingPhysical は 命題 の情報を contains %n{ない} 工程 は 命題 の内容を expresses %n{ない} 工程 は Performance の instance では %n
(=>     (instance ?R Reciting)     (exists (?P ?T)         (and             (realization ?R ?P)             (containsInformation ?T ?P)             (instance ?T Text))))	Mid-level-ontology.kif 15920-15926	工程 は Reciting の instance では %n 命題 ContentBearingPhysical 工程 は 命題 の内容を expresses %n{ない} ContentBearingPhysical は 命題 の情報を contains %n{ない} ContentBearingPhysical は テキスト の instance では %n
(=>     (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 29664-29672	時間間隔 は Restating の instance では %n 時間間隔 時間間隔P and 時間間隔P 時間間隔 は LinguisticCommunication の instance では %n 時間間隔 は 時間間隔 より earlier happens %n{ない} 時間間隔 は 時間間隔P の情報を contains %n{ない} 時間間隔 は 時間間隔P の情報を contains %n{ない} 時間間隔P は 時間間隔P と equivalent では %n
(=>     (instance ?READ Reading)     (exists (?TEXT ?PROP)         (and             (instance ?TEXT Text)             (containsInformation ?TEXT ?PROP)             (realization ?READ ?PROP))))	Merge.kif 12711-12717	工程 は 読み の instance では %n ContentBearingPhysical 命題 ContentBearingPhysical は テキスト の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 工程 は 命題 の内容を expresses %n{ない}
(=>     (instance ?RECORD AudioRecording)     (exists (?INFO ?SOUND)         (and             (containsInformation ?RECORD ?INFO)             (realization ?SOUND ?INFO)             (instance ?SOUND RadiatingSound))))	Mid-level-ontology.kif 14313-14319	ContentBearingPhysical は AudioRecording の instance では %n 命題 工程 ContentBearingPhysical は 命題 の情報を contains %n{ない} 工程 は 命題 の内容を expresses %n{ない} 工程 は 放射音 の instance では %n
(=>     (instance ?SENT Sentence)     (exists (?PROP)         (and             (instance ?PROP Proposition)             (containsInformation ?SENT ?PROP))))	Merge.kif 15469-15474	ContentBearingPhysical は 文 の instance では %n 命題 命題 は 命題 の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない}
(=>     (instance ?SIGNING SigningAnAgreement)     (exists (?DOC ?TERMS)         (and             (instance ?DOC LinguisticExpression)             (instance ?TERMS Agreement)             (containsInformation ?DOC ?TERMS)             (patient ?SIGNING ?DOC))))	Geography.kif 3125-3132	工程 は SigningAnAgreement の instance では %n ContentBearingPhysical 命題 ContentBearingPhysical は 言語表現 の instance では %n 命題 は Agreement の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} ContentBearingPhysical は 工程 の patient では %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