(=>     (instance ?Attribute ComputerPathAttribute)     (exists (?Path)         (and             (instance ?Path ComputerPath)             (property ?Path ?Attribute))))	QoSontology.kif 1206-1211	属性 は ComputerPathAttribute の instance では エンティティー エンティティー は ComputerPath の instance では エンティティー には attribute 属性
(=>     (instance ?DOC ContractDocument)     (exists (?PROP)         (and             (containsInformation ?DOC ?PROP)             (property ?PROP Contract))))	Media.kif 979-984	ContentBearingPhysical は ContractDocument の instance では 命題 ContentBearingPhysical は 命題 の情報を contains 命題 には attribute Contract
(=>     (instance ?W HarmattanWind)     (property ?W Dry))	Weather.kif 1555-1557	エンティティー は HarmattanWind の instance では エンティティー には attribute Dry
(=>     (insured ?PROP ?ORG)     (property ?PROP Contract))	Mid-level-ontology.kif 8303-8305	insured 命題 and 組織 命題 には attribute Contract
(=>     (optionHolder ?OPTION ?AGENT)     (property ?OPTION Option))	FinancialOntology.kif 2608-2610	optionHolder Agreement and 認識エージェント Agreement には attribute Option
(=>     (optionSeller ?OPTION ?AGENT)     (property ?OPTION Option))	FinancialOntology.kif 2621-2623	optionSeller Agreement and 認識エージェント Agreement には attribute Option
(=>     (premium ?OPTION ?AMT)     (property ?OPTION Option))	FinancialOntology.kif 2742-2744	premium Agreement and 通貨測定 Agreement には attribute Option
(=>     (property ?ENTITY Promise)     (or         (property ?ENTITY Contract)         (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 15494-15498	エンティティー には attribute Promise エンティティー には attribute Contract エンティティー には attribute NakedPromise
(=>     (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 ?Stock)             (measure ?Stock                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2557-2568	Agreement には attribute Option 属性 時点, FinancialInstrument and 通貨測定 属性 は CallOption と equal では 属性 は PutOption と equal では Agreement には attribute 属性 agreementExpirationDate Agreement and 時点 strikePrice Agreement and 通貨測定 underlier Agreement and FinancialInstrument FinancialInstrument の measure は 100 の ShareUnit(s) では
(=>     (property ?Program ReplicationsOnSameHostOK)     (property ?Program Restartable))	QoSontology.kif 1399-1401	エンティティー には attribute ReplicationsOnSameHostOK エンティティー には attribute Restartable
(=>     (subAttribute ?ATTR1 ?ATTR2)     (forall (?OBJ)         (=>             (property ?OBJ ?ATTR1)             (property ?OBJ ?ATTR2))))	Merge.kif 682-687	属性 は 属性 の subattribute では エンティティー エンティティー には attribute 属性 エンティティー には attribute 属性
(=>     (underlier ?OPTION ?FI)     (property ?OPTION Option))	FinancialOntology.kif 2762-2764	underlier Agreement and FinancialInstrument Agreement には attribute Option

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