|
| (=> (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 14148-14162 | |
| (=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition))) |
Merge.kif 16995-17001 | |
| (=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Mid-level-ontology.kif 25579-25584 | |
| (=> (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 17414-17424 | |
| (=> (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 19498-19508 | |
| (=> (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 19514-19524 | |
| (=> (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 14112-14114 | |
| (=> (property ?AGREEMENT ActiveAgreement) (modalAttribute (exists (?PROC) (realization ?PROC ?AGREEMENT)) Obligation)) |
Mid-level-ontology.kif 14116-14120 | |
| (=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 14141-14146 | |
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14169-14175 | |
| (=> (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 14182-14191 | |
| 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