(<=>     (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 equal Object and MereologicalSumFn Object and Object connected Object and 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 GeopoliticalArea の government 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	CaseRole Process and Object instance CaseRole and CaseRole instance Process and Process instance Object and Object playsRoleInEvent Object, CaseRole and Process
(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)         (instance ?X ?CBP-TYPE))     (abbreviation ?STRING ?X))	Media.kif 3153-3157	abbreviatedDisplayTitle SymbolicString, entity-TYPE and Language instance Entity and entity-TYPE abbreviation SymbolicString and Entity
(=>     (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	actedIn Human and ContentBearingPhysical instance Process and DramaticActing patient Process and Human result Process and ContentBearingPhysical holdsDuring WhenFn Process and attribute Human and Actor
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18188-18194	agent Process and Agent result Process and Entity instance Entity and ArtWork holdsDuring WhenFn Process and attribute Agent and Artist
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 700-705	agreementEffectiveDate Agreement and TimePoint confersObligation Formula, Agreement and CognitiveAgent instance TimePosition and TimePoint holdsDuring ImmediateFutureFn TimePosition and holdsObligation Formula and CognitiveAgent
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