instance

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


(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))		 FinancialOntology.kif 1696-1701 Abstract ist ein fall von StockIndex %n{nicht} genau dann wenn es gibt PerformanceMeasure um ** PerformanceMeasure ist ein fall von Stock %n{nicht} und benchmark ** Abstract and ** PerformanceMeasure
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 20186-20190 Object ist ein fall von Lamb %n{nicht} genau dann wenn ** Object ist ein fall von Sheep %n{nicht} und NonFullyFormed ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))		 FinancialOntology.kif 1348-1351 FinancialAccount ist ein fall von SecuredLoan %n{nicht} genau dann wenn es gibt Collateral um securedBy ** FinancialAccount and ** Collateral
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 RealNumber ist ein fall von NegativeRealNumber %n{nicht} genau dann wenn ** RealNumber ist kleinerAls 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht}
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1926-1930 RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} genau dann wenn ** RealNumber ist groesserAlsOderGleich 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht}
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1937-1941 RealNumber ist ein fall von PositiveRealNumber %n{nicht} genau dann wenn ** RealNumber ist groesserAls 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht}
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 Organization ist ein fall von GovernmentOrganization %n{nicht} genau dann wenn ** Organization ist ein fall von Government %n{nicht} oder es gibt ** Organization um ** ** Organization ist ein fall von Government %n{nicht} und subOrganization ** Organization and ** ** Organization
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 20241-20245 Object ist ein fall von Rooster %n{nicht} genau dann wenn ** Object ist ein fall von Chicken %n{nicht} und Male ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))		 Transportation.kif 411-413 Entity ist ein fall von BroadGaugeRailway %n{nicht} genau dann wenn ** Entity hat ein attribut BroadGauge %n{nicht}
(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))		 Transportation.kif 469-471 Entity ist ein fall von DualGaugeRailway %n{nicht} genau dann wenn ** Entity hat ein attribut DualGauge %n{nicht}
(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))		 Transportation.kif 460-462 Entity ist ein fall von NarrowGaugeRailway %n{nicht} genau dann wenn ** Entity hat ein attribut NarrowGauge %n{nicht}
(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))		 Transportation.kif 443-445 Entity ist ein fall von StandardGaugeRailway %n{nicht} genau dann wenn ** Entity hat ein attribut StandardGauge %n{nicht}
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 8326-8328 GeopoliticalArea ist ein fall von StateOrProvince %n{nicht} genau dann wenn GovernmentFn ** GeopoliticalArea ist ein fall von StateGovernment %n{nicht}
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 10944-10950 CorpuscularObject ist ein fall von Vertebrate %n{nicht} genau dann wenn es gibt ** CorpuscularObject um ** CorpuscularObject ist ein fall von Animal %n{nicht} und ** ** CorpuscularObject ist ein bestandteil von ** CorpuscularObject %n{nicht} und ** ** CorpuscularObject ist ein fall von SpinalColumn %n{nicht}
(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 155-157 Entity ist ein fall von DifferentialEquation %n{nicht} genau dann wenn ** Entity ist ein fall von AttrFn Equation and DifferentialAttribute %n{nicht}
(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 23252-23258
(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)
        (instance ?X ?CBP-TYPE))
    (abbreviation ?STRING ?X))		 Media.kif 3165-3169
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))		 Mid-level-ontology.kif 20760-20767
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 18837-18843
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))		 Government.kif 714-719
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))		 Government.kif 721-726
(=>
    (and
        (agreementEffectiveDuring ?AGR ?DATE)
        (instance ?TIME ?DATE)
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ?AGR))
    (holdsDuring ?TIME ?FORMULA))		 Government.kif 766-772
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 316-322
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))		 Mid-level-ontology.kif 6231-6244
(=>
    (and
        (amount ?S ?CO
            (MeasureFn ?N ?U))
        (instance ?SI ?S)
        (measure ?SI
            (MeasureFn ?N2 ?U))
        (part ?SI ?CO))
    (exists (?L)
        (and
            (inList
                (MeasureFn ?N2 ?U) ?L)
            (equal ?L
                (AmountsFn ?S ?CO ?U))
            (equal ?N
                (ListSumFn ?L)))))		 Merge.kif 7596-7611

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