<=>

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 11681-11688 Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 20208-20212 Objet est une instance de Calf objet est une instance de Cattle NonFullyFormed est un attribut de objet
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))		 Mid-level-ontology.kif 8332-8334 Secteur g�opolitique est une instance de ville le gouvernment de secteur g�opolitique est une instance de CityGovernment
(<=>
    (instance ?CONTINENT Continent)
    (or
        (equal Africa ?CONTINENT)
        (equal NorthAmerica ?CONTINENT)
        (equal SouthAmerica ?CONTINENT)
        (equal Antarctica ?CONTINENT)
        (equal Europe ?CONTINENT)
        (equal Asia ?CONTINENT)
        (equal Oceania ?CONTINENT)))		 Geography.kif 3504-3513 Entit� est une instance de continent Africa est entit� NorthAmerica est entit� SouthAmerica est entit� Antarctica est entit� Europe est entit� Asia est entit� Oceania est entit�
(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))		 Mid-level-ontology.kif 6477-6487 Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))		 FinancialOntology.kif 1321-1326 Collateral est une instance de Collateral FinancialAccount FinancialAccount est une instance de SecuredLoan securedBy FinancialAccount and Collateral
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))		 Mid-level-ontology.kif 8079-8084 Secteur g�opolitique est une instance de CityDistrict secteur g�opolitique secteur g�opolitique est une instance de ville sous-division g�opolitique
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30082-30086 Objet est une instance de DamagedVehicle objet est une instance de Vehicle DeviceDamaged est un attribut de objet
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 20231-20235 Objet est une instance de Hen objet est une instance de Chicken Female est un attribut de objet
(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))		 Geography.kif 3488-3494 Entit� est une instance de Hemisphere entit� est NorthernHemisphere entit� est SouthernHemisphere entit� est EasternHemisphere entit� est WesternHemisphere
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))		 QoSontology.kif 63-68 Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8978-8982 Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet
(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))		 FinancialOntology.kif 1668-1673 PerformanceMeasure est une instance de InflationIndex abstrait abstrait est une instance de Inflation benchmark abstrait and PerformanceMeasure
(<=>
    (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 20185-20189 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 20240-20244 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

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