(=>     (equal ?X         (AttrFn ?CLASS ?ATTR))     (forall (?I)         (=>             (instance ?I ?X)             (and                 (instance ?I ?CLASS)                 (subclass ?X ?CLASS)                 (property ?I ?ATTR)))))	Merge.kif 1684-1693	equal Class and AttrFn SetOrClass and Attribute Entity instance Entity and Class instance Entity and SetOrClass subclass Class and SetOrClass property Entity and Attribute
(=>     (instance ?Account FinancialAccount)     (and         (property ?Account FinancialContract)         (property ?Account ServiceContract)))	FinancialOntology.kif 63-67	instance Entity and FinancialAccount property Entity and FinancialContract property Entity and ServiceContract
(=>     (instance ?Attribute ComputerPathAttribute)     (exists (?Path)         (and             (instance ?Path ComputerPath)             (property ?Path ?Attribute))))	QoSontology.kif 1102-1107	instance Attribute and ComputerPathAttribute Entity instance Entity and ComputerPath property Entity and Attribute
(=>     (instance ?DOC ContractDocument)     (exists (?PROP)         (and             (containsInformation ?DOC ?PROP)             (property ?PROP Contract))))	Media.kif 979-984	instance ContentBearingPhysical and ContractDocument Proposition containsInformation ContentBearingPhysical and Proposition property Proposition and Contract
(=>     (insured ?PROP ?ORG)     (property ?PROP Contract))	Mid-level-ontology.kif 6829-6831	insured Proposition and Organization property Proposition and Contract
(=>     (optionHolder ?OPTION ?AGENT)     (property ?OPTION Option))	FinancialOntology.kif 2513-2515	optionHolder Agreement and CognitiveAgent property Agreement and Option
(=>     (optionSeller ?OPTION ?AGENT)     (property ?OPTION Option))	FinancialOntology.kif 2526-2528	optionSeller Agreement and CognitiveAgent property Agreement and Option
(=>     (premium ?OPTION ?AMT)     (property ?OPTION Option))	FinancialOntology.kif 2647-2649	premium Agreement and CurrencyMeasure property Agreement and Option
(=>     (property ?ENTITY Promise)     (or         (property ?ENTITY Contract)         (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 11798-11802	property Entity and Promise property Entity and Contract property Entity and 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 2462-2473	property Agreement and Option Attribute TimePoint, FinancialInstrument and CurrencyMeasure equal Attribute and CallOption equal Attribute and PutOption property Agreement and Attribute agreementExpirationDate Agreement and TimePoint strikePrice Agreement and CurrencyMeasure underlier Agreement and FinancialInstrument measure FinancialInstrument and MeasureFn 100 and ShareUnit
(=>     (property ?Program ReplicationsOnSameHostOK)     (property ?Program Restartable))	QoSontology.kif 1295-1297	property Entity and ReplicationsOnSameHostOK property Entity and Restartable
(=>     (subAttribute ?ATTR1 ?ATTR2)     (forall (?OBJ)         (=>             (property ?OBJ ?ATTR1)             (property ?OBJ ?ATTR2))))	Merge.kif 660-665	subAttribute Attribute and Attribute Entity property Entity and Attribute property Entity and Attribute
(=>     (underlier ?OPTION ?FI)     (property ?OPTION Option))	FinancialOntology.kif 2666-2668	underlier Agreement and FinancialInstrument property Agreement and Option

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