instance

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


(<=>
    (instance ?Feedback Feedback)
    (exists (?RM ?Process ?Program)
        (and
            (rMProgramOf ?RM ?Program)
            (programRunning ?Process ?Program)
            (instance ?Send DataTransfer)
            (patient ?Send ?Feedback)
            (destination ?Send ?RM))))
QoSontology.kif 674-682 instance Entity and Feedback ResourceManagementProgram ComputerProcess and SoftwareSystem rMProgramOf ResourceManagementProgram and SoftwareSystem programRunning ComputerProcess and SoftwareSystem instance Process and DataTransfer patient Process and Entity destination Process and ResourceManagementProgram
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))
Mid-level-ontology.kif 19539-19543 instance Object and Hen instance Object and Chicken attribute Object and Female
(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3410-3416 instance Entity and Hemisphere equal Entity and NorthernHemisphere equal Entity and SouthernHemisphere equal Entity and EasternHemisphere equal Entity and WesternHemisphere
(<=>
    (instance ?HOLE Hole)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9777-9780 instance Hole and Hole SelfConnectedObject hole Hole and SelfConnectedObject
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 instance CorpuscularObject and ComputerHardware CorpuscularObject instance CorpuscularObject and Computer component CorpuscularObject and CorpuscularObject
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8582-8586 instance Object and Ice instance Object and Water attribute Object and Solid
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 19493-19497 instance Object and Lamb instance Object and Sheep attribute Object and NonFullyFormed
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1888-1892 instance RealNumber and NegativeRealNumber lessThan RealNumber and 0 instance RealNumber and RealNumber
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1866-1870 instance RealNumber and NonnegativeRealNumber greaterThanOrEqualTo RealNumber and 0 instance RealNumber and RealNumber
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1877-1881 instance RealNumber and PositiveRealNumber greaterThan RealNumber and 0 instance RealNumber and RealNumber
(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9413-9418 instance Object and SelfConnectedObject Object Object
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 instance Organization and GovernmentOrganization instance Organization and Government Organization instance Organization and Government Organization は組織 Organization の一部では %n
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))
Mid-level-ontology.kif 19548-19552 instance Object and Rooster instance Object and Chicken attribute Object and Male
(<=>
    (instance ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))
Transportation.kif 411-413 instance Entity and BroadGaugeRailway property Entity and BroadGauge
(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))
Transportation.kif 469-471 instance Entity and DualGaugeRailway property Entity and DualGauge
(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))
Transportation.kif 460-462 instance Entity and NarrowGaugeRailway property Entity and NarrowGauge
(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))
Transportation.kif 443-445 instance Entity and StandardGaugeRailway property Entity and StandardGauge
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))
Mid-level-ontology.kif 7929-7931 instance GeopoliticalArea and StateOrProvince instance GeopoliticalAreagovernment and StateGovernment
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 10447-10453 instance CorpuscularObject and Vertebrate CorpuscularObject instance CorpuscularObject and Animal component CorpuscularObject and CorpuscularObject instance CorpuscularObject and SpinalColumn
(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))
engineering.kif 154-156 instance Entity and DifferentialEquation instance Entity and 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 22675-22681
(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)
        (instance ?X ?CBP-TYPE))
    (abbreviation ?STRING ?X))
Media.kif 3153-3157
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 20077-20084
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 18188-18194
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))
Government.kif 700-705

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