property

-------------------------


(=>
    (equal ?X
        (AttrFn ?CLASS ?ATTR))
    (forall (?I)
        (=>
            (instance ?I ?X)
            (and
                (instance ?I ?CLASS)
                (subclass ?X ?CLASS)
                (property ?I ?ATTR)))))
Merge.kif 2854-2863
(=>
    (instance ?Account FinancialAccount)
    (and
        (property ?Account FinancialContract)
        (property ?Account ServiceContract)))
FinancialOntology.kif 63-67
(=>
    (instance ?Attribute ComputerPathAttribute)
    (exists (?Path)
        (and
            (instance ?Path ComputerPath)
            (property ?Path ?Attribute))))
QoSontology.kif 1092-1097
(=>
    (instance ?DOC ContractDocument)
    (exists (?PROP)
        (and
            (containsInformation ?DOC ?PROP)
            (property ?PROP Contract))))
Media.kif 979-984
(=>
    (insured ?PROP ?ORG)
    (property ?PROP Contract))
Mid-level-ontology.kif 6823-6825
(=>
    (optionHolder ?OPTION ?AGENT)
    (property ?OPTION Option))
FinancialOntology.kif 2514-2516
(=>
    (optionSeller ?OPTION ?AGENT)
    (property ?OPTION Option))
FinancialOntology.kif 2527-2529
(=>
    (premium ?OPTION ?AMT)
    (property ?OPTION Option))
FinancialOntology.kif 2646-2648
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))
Mid-level-ontology.kif 11741-11745
(=>
    (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
(=>
    (property ?Program ReplicationsOnSameHostOK)
    (property ?Program Restartable))
QoSontology.kif 1285-1287
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))
Merge.kif 1013-1018
(=>
    (underlier ?OPTION ?FI)
    (property ?OPTION Option))
FinancialOntology.kif 2665-2667


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