(=>     (equal ?X         (AttrFn ?CLASS ?ATTR))     (forall (?I)         (=>             (instance ?I ?X)             (and                 (instance ?I ?CLASS)                 (subclass ?X ?CLASS)                 (property ?I ?ATTR)))))	Merge.kif 2854-2863	クラス は AttrFn 同じセットまたはクラス and 属性 と equal では %n エンティティー エンティティー は クラス の instance では %n エンティティー は 同じセットまたはクラス の instance では %n クラス は 同じセットまたはクラス の subclass では %n エンティティー には attribute 属性 %n{ない}
(=>     (instance ?Account FinancialAccount)     (and         (property ?Account FinancialContract)         (property ?Account ServiceContract)))	FinancialOntology.kif 63-67	エンティティー は FinancialAccount の instance では %n エンティティー には attribute FinancialContract %n{ない} エンティティー には attribute ServiceContract %n{ない}
(=>     (instance ?Attribute ComputerPathAttribute)     (exists (?Path)         (and             (instance ?Path ComputerPath)             (property ?Path ?Attribute))))	QoSontology.kif 1092-1097	属性 は ComputerPathAttribute の instance では %n エンティティー エンティティー は ComputerPath の instance では %n エンティティー には attribute 属性 %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{ない}
(=>     (insured ?PROP ?ORG)     (property ?PROP Contract))	Mid-level-ontology.kif 6823-6825	insured 命題 and 組織 命題 には attribute Contract %n{ない}
(=>     (optionHolder ?OPTION ?AGENT)     (property ?OPTION Option))	FinancialOntology.kif 2514-2516	optionHolder Agreement and 認識エージェント Agreement には attribute Option %n{ない}
(=>     (optionSeller ?OPTION ?AGENT)     (property ?OPTION Option))	FinancialOntology.kif 2527-2529	optionSeller Agreement and 認識エージェント Agreement には attribute Option %n{ない}
(=>     (premium ?OPTION ?AMT)     (property ?OPTION Option))	FinancialOntology.kif 2646-2648	premium Agreement and 通貨測定 Agreement には attribute Option %n{ない}
(=>     (property ?ENTITY Promise)     (or         (property ?ENTITY Contract)         (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 11741-11745	エンティティー には attribute Promise %n{ない} エンティティー には attribute Contract %n{ない} エンティティー には attribute NakedPromise %n{ない}
(=>     (property ?Option Option)     (exists (?Type ?Date ?Stock ?Price)         (and             (or                 (equal ?Type CallOption)                 (equal ?Type PutOption))             (property ?Option ?Type)             (agreementExpirationDate ?Option ?Date)             (strikePrice ?Option ?Price)             (underlier ?Option ?Stocks)             (measure ?Stock                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2463-2474	Agreement には attribute Option %n{ない} 属性 時点, オブジェクト and 通貨測定 属性 は CallOption と equal では %n 属性 は PutOption と equal では %n Agreement には attribute 属性 %n{ない} agreementExpirationDate Agreement and 時点 strikePrice Agreement and 通貨測定 underlier Agreement and オブジェクトs オブジェクト の measure は 100 の ShareUnit(s) では %n
(=>     (property ?Program ReplicationsOnSameHostOK)     (property ?Program Restartable))	QoSontology.kif 1285-1287	エンティティー には attribute ReplicationsOnSameHostOK %n{ない} エンティティー には attribute Restartable %n{ない}
(=>     (subAttribute ?ATTR1 ?ATTR2)     (forall (?OBJ)         (=>             (property ?OBJ ?ATTR1)             (property ?OBJ ?ATTR2))))	Merge.kif 1013-1018	属性 は 属性 の subattribute では %n エンティティー エンティティー には attribute 属性 %n{ない} エンティティー には attribute 属性 %n{ない}
(=>     (underlier ?OPTION ?FI)     (property ?OPTION Option))	FinancialOntology.kif 2665-2667	underlier Agreement and FinancialInstrument Agreement には attribute Option %n{ない}

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners