property

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


(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7216-7222
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7241-7247
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7181-7187
(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))
Mid-level-ontology.kif 14149-14163
(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 16973-16979
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))
Mid-level-ontology.kif 25580-25585
(=>
    (and
        (property ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE AlgebroDifferentialAttribute))
    (instance ?OBJECT SetOfEquations))
engineering.kif 230-234
(=>
    (and
        (property ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE EquationAttribute))
    (or
        (instance ?OBJECT Equation)
        (instance ?OBJECT SetOfEquations)))
engineering.kif 211-217
(=>
    (and
        (property ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time ?Exercise)
        (and
            (instance ?Period TimeInterval)
            (equal
                (EndFn ?Period) ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))
FinancialOntology.kif 2808-2820
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
(=>
    (and
        (property ?Option StockOption)
        (underlier ?Option ?Stock))
    (property ?Stock CommonStock))
FinancialOntology.kif 2712-2716
(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR ContestAttribute))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (or
                (agent ?CONTEST ?THING)
                (patient ?CONTEST ?THING)
                (subProcess ?THING ?CONTEST)))))
Merge.kif 17392-17402
(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR GameAttribute))
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (or
                (agent ?GAME ?THING)
                (patient ?GAME ?THING)
                (subProcess ?THING ?GAME)))))
Mid-level-ontology.kif 19499-19509
(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR SportsAttribute))
    (exists (?SPORT)
        (and
            (instance ?SPORT Game)
            (or
                (agent ?SPORT ?THING)
                (patient ?SPORT ?THING)
                (subProcess ?THING ?SPORT)))))
Mid-level-ontology.kif 19515-19525
(=>
    (and
        (property ?X Booting)
        (instance ?X Computer))
    (exists (?CD ?OS ?DT)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during
                (WhenFn ?DT)
                (WhenFn ?X))
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))
ComputingBrands.kif 3217-3229
(=>
    (property ?A CompilationAlbum)
    (exists (?A1 ?A2)
        (and
            (albumArtist ?A ?A1)
            (albumArtist ?A ?A2)
            (not
                (equal ?A1 ?A2)))))
Music.kif 490-497
(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))
Mid-level-ontology.kif 14113-14115
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))
Mid-level-ontology.kif 14117-14121
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 14142-14147
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?P1 ?C)
            (partyToAgreement ?P2 ?C)
            (spouse ?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
(=>
    (property ?C PurchaseContract)
    (exists (?S ?SELLER ?BUYER)
        (and
            (instance ?S Selling)
            (agent ?S ?SELLER)
            (destination ?S ?BUYER)
            (realization ?S ?C)
            (partyToAgreement ?C ?SELLER)
            (partyToAgreement ?C ?BUYER))))
Mid-level-ontology.kif 14183-14192

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