instance

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


(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))		 FinancialOntology.kif 1696-1701 Abstrait est une instance de StockIndex PerformanceMeasure PerformanceMeasure est une instance de Stock benchmark abstrait and PerformanceMeasure
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 20186-20190 Objet est une instance de Lamb objet est une instance de Sheep NonFullyFormed est un attribut de objet
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))		 FinancialOntology.kif 1348-1351 FinancialAccount est une instance de SecuredLoan Collateral securedBy FinancialAccount and Collateral
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 Nombre r�el est une instance de nombre r�el n�gatif nombre r�el est moins que 0 nombre r�el est une instance de nombre r�el
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1926-1930 Nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est plus grand ou �gal � 0 nombre r�el est une instance de nombre r�el
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1937-1941 Nombre r�el est une instance de nombre r�el positif nombre r�el est plus grand que 0 nombre r�el est une instance de nombre r�el
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 Organisation est une instance de GovernmentOrganization organisation est une instance de gouvernement organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 20241-20245 Objet est une instance de Rooster objet est une instance de Chicken Male est un attribut de objet
(<=>
    (instance ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))		 Transportation.kif 411-413 Entit� est une instance de BroadGaugeRailway entit� a un attribute BroadGauge
(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))		 Transportation.kif 469-471 Entit� est une instance de DualGaugeRailway entit� a un attribute DualGauge
(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))		 Transportation.kif 460-462 Entit� est une instance de NarrowGaugeRailway entit� a un attribute NarrowGauge
(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))		 Transportation.kif 443-445 Entit� est une instance de StandardGaugeRailway entit� a un attribute StandardGauge
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 8326-8328 Secteur g�opolitique est une instance de Etat ou province le gouvernment de secteur g�opolitique est une instance de StateGovernment
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 10944-10950 Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de SpinalColumn
(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 155-157 Entit� est une instance de DifferentialEquation entit� est une instance de AttrFn Equation and DifferentialAttribute
(=>
    (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