(=>     (instance ?INSECT QueenInsect)     (and         (attribute ?INSECT Female)         (capability Replication agent ?INSECT)))	Mid-level-ontology.kif 12646-12650	If an object is an instance of queen insect, then female is an attribute of the object and the object is capable of doing replication as a agent
(=>     (instance ?INSECT QueenInsect)     (exists (?GROUP)         (and             (instance ?GROUP Group)             (member ?INSECT ?GROUP)             (not                 (exists (?MEMBER)                     (and                         (member ?MEMBER ?GROUP)                         (capability Replication agent ?MEMBER)                         (not                             (equal ?MEMBER ?INSECT))))))))	Mid-level-ontology.kif 12652-12664	If a physical is an instance of queen insect, then there exists a collection such that the collection is an instance of group and the physical is a member of the collection and there doesn't exist an object such that the object is a member of the collection and the object is capable of doing replication as a agent and the object is not equal to the physical
(=>     (instance ?INSTRUMENT MusicalInstrument)     (capability MakingMusic instrument ?INSTRUMENT))	Merge.kif 15983-15985	If an object is an instance of musical instrument, then the object is capable of doing making music as a instrument
(=>     (instance ?L Lid)     (exists (?C)         (and             (instance ?C Container)             (part ?L ?C)             (capability Closing instrument ?L)             (capability Opening instrument ?L)             (top ?L ?C))))	Mid-level-ontology.kif 4019-4027	If a self connected object is an instance of lid, then there exists another self connected object such that the other self connected object is an instance of container and the self connected object is a part of the other self connected object and the self connected object is capable of doing closing as a instrument and the self connected object is capable of doing opening as a instrument and the top of the other self connected object is the self connected object
(=>     (instance ?L ProjectileLauncher)     (capability Shooting instrument ?L))	Mid-level-ontology.kif 1134-1136	If an object is an instance of projectile launcher, then the object is capable of doing shooting as a instrument
(=>     (instance ?LADDER Ladder)     (and         (capability MotionUpward instrument ?LADDER)         (capability MotionDownward instrument ?LADDER)))	Mid-level-ontology.kif 15112-15116	If an object is an instance of ladder, then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument
(=>     (instance ?LAR LARUnit)     (capability CounterReconnaissance agent ?LAR))	MilitaryPersons.kif 526-528	If an object is an instance of LAR unit, then the object is capable of doing counter reconnaissance as a agent
(=>     (instance ?LAR LARUnit)     (capability ReconnaissanceOperation agent ?LAR))	MilitaryPersons.kif 520-522	If an object is an instance of LAR unit, then the object is capable of doing reconnaissance operation as a agent
(=>     (instance ?M MatchDevice)     (capability         (StartFn Combustion) instrument ?M))	Mid-level-ontology.kif 1939-1941	If an object is an instance of match device, then the object is capable of doing the start of burning as a instrument
(=>     (instance ?M Mirror)     (capability ReflectingLight instrument ?M))	Mid-level-ontology.kif 3686-3688	If an object is an instance of mirror, then the object is capable of doing reflecting light as a instrument
(=>     (instance ?MC MolotovCocktail)     (exists (?LIQUID)         (and             (instance ?LIQUID LiquidMixture)             (part ?LIQUID ?MC)             (capability Combustion patient ?LIQUID))))	MilitaryDevices.kif 1292-1298	If an object is an instance of molotov cocktail, then there exists another object such that the other object is an instance of liquid mixture and the other object is a part of the object and the other object is capable of doing burning as a patient
(=>     (instance ?MULE Mule)     (not         (capability SexualReproduction agent ?MULE)))	Mid-level-ontology.kif 20172-20175	If an object is an instance of mule, then the object is not capable of doing sexual reproduction as a agent
(=>     (instance ?MV MilitaryVehicle)     (and         (instance ?A MilitaryForce)         (possesses ?A ?MV)         (capability MilitaryProcess patient ?MV)))	Military.kif 197-202	If an object is an instance of military vehicle, then an agent is an instance of military force and the agent possesses the object and the object is capable of doing military process as a patient
(=>     (instance ?NOSE Nose)     (capability Smelling instrument ?NOSE))	Mid-level-ontology.kif 12192-12194	If an object is an instance of nose, then the object is capable of doing smelling as a instrument
(=>     (instance ?O Object)     (capability Translocation destination ?O))	Merge.kif 858-860	If an object is an instance of object, then the object is capable of doing translocation as a destination
(=>     (instance ?O Object)     (capability Translocation origin ?O))	Merge.kif 854-856	If an object is an instance of object, then the object is capable of doing translocation as a origin
(=>     (instance ?O Organism)     (capability BiologicalProcess experiencer ?O))	Merge.kif 10176-10178	If an object is an instance of organism, then the object is capable of doing biological process as a experiencer
(=>     (instance ?O Organism)     (capability Killing agent ?O))	Merge.kif 12345-12347	If an object is an instance of organism, then the object is capable of doing killing as a agent
(=>     (instance ?O Organism)     (capability Killing patient ?O))	Merge.kif 12349-12351	If an object is an instance of organism, then the object is capable of doing killing as a patient
(=>     (instance ?O Organism)     (not         (capability BiologicalProcess agent ?O)))	Merge.kif 10171-10174	If an object is an instance of organism, then the object is not capable of doing biological process as a agent
(=>     (instance ?OBJ Enzyme)     (capability ChemicalProcess catalyst ?OBJ))	VirusProteinAndCellPart.kif 257-259	If an object is an instance of enzyme, then the object is capable of doing chemical process as a catalyst
(=>     (instance ?ORG LegislativeOrganization)     (capability PassingABill agent ?ORG))	Government.kif 1937-1939	If an object is an instance of legislative organization, then the object is capable of doing passingA bill as a agent
(=>     (instance ?ORG MilitaryForce)     (capability ViolentContest agent ?ORG))	Merge.kif 16684-16686	If an object is an instance of military force, then the object is capable of doing violent contest as a agent
(=>     (instance ?P GunPowder)     (capability Explosion instrument ?P))	Mid-level-ontology.kif 1357-1359	If an object is an instance of gun powder, then the object is capable of doing explosion as a instrument
(=>     (instance ?PAINT Paint)     (capability Coloring instrument ?PAINT))	Mid-level-ontology.kif 3201-3203	If an object is an instance of paint, then the object is capable of doing coloring as a instrument
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