(=>     (attribute ?X Flammable)     (capability Combustion patient ?X))	Merge.kif 12610-12612	attribute Oggetto and Flammable Oggetto è capace di fare Combustione nel ruolo patient
(=>     (capability ChildCareService agent ?X)     (exists (?SITTER)         (and             (employs ?X ?SITTER)             (capability ChildCareService serviceProvider ?SITTER))))	Hotel.kif 1883-1888	AutonomousAgent è capace di fare ChildCareService nel ruolo agent AgenteCognitivo AutonomousAgent impiegas AgenteCognitivo AgenteCognitivo è capace di fare ChildCareService nel ruolo serviceProvider
(=>     (capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT)     (exists (?TIME)         (and             (instance ?TIME ?TIMEINT)             (holdsDuring ?TIME                 (capability ?PROCESS ?ROLE ?OBJ)))))	Dining.kif 922-928	capabilityDuring Processo, RuoloSemantico, Oggetto and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale Oggetto è capace di fare Processo nel ruolo RuoloSemantico vales durante PosizioneTemporale
(=>     (deliveryRegion ?AGENT ?REGION)     (capability DeliveryService agent ?AGENT))	Dining.kif 546-548	deliveryRegion AutonomousAgent and AreaGeografica AutonomousAgent è capace di fare DeliveryService nel ruolo agent
(=>     (fitForMilitaryService ?AGENT ?PROCESS)     (capability ?PROCESS agent ?AGENT))	Military.kif 917-919	fitForMilitaryService AgenteCognitivo and Processo AgenteCognitivo è capace di fare Processo nel ruolo agent
(=>     (hasSkill ?PROC ?AGENT)     (capability ?PROC agent ?AGENT))	Merge.kif 3987-3989	AutonomousAgent ha &n la capacità di fare Processo AutonomousAgent è capace di fare Processo nel ruolo agent
(=>     (holdsDuring ?T         (and             (instance ?C Computer)             (attribute ?C AirplaneMode)))     (not         (holdsDuring ?T             (capability                 (NetworkCommunicationFn WirelessNetwork) origin ?C))))	ComputingBrands.kif 1820-1827	Entit� è un' istanza di Computer attribute Entit� and AirplaneMode vales durante PosizioneTemporale Entit� è capace di fare NetworkCommunicationFn WirelessNetwork nel ruolo origin non vale durante PosizioneTemporale
(=>     (holdsDuring ?T         (attribute ?H AVPUAlertStatus))     (holdsDuring ?T         (capability ?H agent Communication)))	Medicine.kif 6427-6431	attribute Entit� and AVPUAlertStatus vales durante PosizioneTemporale Comunicazione è capace di fare Entit� nel ruolo agent vales durante PosizioneTemporale
(=>     (holdsDuring ?T         (attribute ?H Ambulatory))     (holdsDuring ?T         (capability Walking agent ?H)))	Medicine.kif 390-394	attribute Entit� and Ambulatory vales durante PosizioneTemporale Entit� è capace di fare Camminare nel ruolo agent vales durante PosizioneTemporale
(=>     (holdsDuring ?T         (attribute ?H Conscious))     (holdsDuring ?T         (capability IntentionalProcess agent ?H)))	Medicine.kif 441-445	attribute Entit� and Conscious vales durante PosizioneTemporale Entit� è capace di fare ProcessoIntenzionale nel ruolo agent vales durante PosizioneTemporale
(=>     (instance ?A Animal)     (capability Drooling experiencer ?A))	Mid-level-ontology.kif 6582-6584	Oggetto è un' istanza di Animale Oggetto è capace di fare Drooling nel ruolo experiencer
(=>     (instance ?A AutonomousAgent)     (capability SocialInteraction agent ?A))	Merge.kif 13037-13039	Oggetto è un' istanza di AutonomousAgent Oggetto è capace di fare InterazioneSociale nel ruolo agent
(=>     (instance ?AGENT AutonomousAgent)     (exists (?PROC)         (capability ?PROC agent ?AGENT)))	Merge.kif 1561-1564	Oggetto è un' istanza di AutonomousAgent Processo Oggetto è capace di fare Processo nel ruolo agent
(=>     (instance ?AGENT CognitiveAgent)     (capability Reasoning agent ?AGENT))	Merge.kif 12019-12021	Oggetto è un' istanza di AgenteCognitivo Oggetto è capace di fare Ragionare nel ruolo agent
(=>     (instance ?AGENT LifeThreateningAgent)     (capability Killing instrument ?AGENT))	WMD.kif 1013-1015	Oggetto è un' istanza di LifeThreateningAgent Oggetto è capace di fare Uccidere nel ruolo instrument
(=>     (instance ?AGENT SentientAgent)     (capability Perception experiencer ?AGENT))	Merge.kif 13483-13485	Oggetto è un' istanza di AgenteSensibile Oggetto è capace di fare Percezione nel ruolo experiencer
(=>     (instance ?ANTENNA Antenna)     (capability RadioEmission instrument ?ANTENNA))	Mid-level-ontology.kif 15827-15829	Oggetto è un' istanza di Antenna Oggetto è capace di fare RadioEmission nel ruolo instrument
(=>     (instance ?ANTIBIOTIC Antibiotic)     (exists (?KILL ?BACTERIUM)         (capability             (KappaFn ?KILL                 (and                     (instance ?KILL Killing)                     (patient ?KILL ?BACTERIUM)                     (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))	WMD.kif 1264-1272	Oggetto è un' istanza di Antibiotic Stringa Entit� Oggetto è capace di fare la classe descritta da Stringa nel ruolo agent
(=>     (instance ?ARTIFACT GameArtifact)     (exists (?GAME)         (and             (subclass ?GAME Game)             (capability ?GAME instrument ?ARTIFACT))))	Mid-level-ontology.kif 16980-16985	Oggetto è un' istanza di GameArtifact Processo Processo è una sottoclasse di Gioco Oggetto è capace di fare Processo nel ruolo instrument
(=>     (instance ?BOARD BoardOrBlock)     (capability Constructing resource ?BOARD))	Mid-level-ontology.kif 4746-4748	Oggetto è un' istanza di BoardOrBlock Oggetto è capace di fare Costruzione nel ruolo resource
(=>     (instance ?CAMERA Camera)     (capability Photographing instrument ?CAMERA))	Mid-level-ontology.kif 13315-13317	Oggetto è un' istanza di Camera Oggetto è capace di fare Photographing nel ruolo instrument
(=>     (instance ?CAR PassengerRailcar)     (exists (?CARRY)         (capability             (KappaFn ?CARRY                 (and                     (instance ?CARRY Transportation)                     (exists (?HUMAN)                         (and                             (instance ?HUMAN Human)                             (patient ?CARRY ?HUMAN))))) instrument ?CAR)))	Transportation.kif 2127-2137	Oggetto è un' istanza di PassengerRailcar OggettoRY Oggetto è capace di fare la classe descritta da OggettoRY nel ruolo instrument
(=>     (instance ?CLOUD Cloud)     (capability Seeing patient ?CLOUD))	Merge.kif 14776-14778	Oggetto è un' istanza di Cloud Oggetto è capace di fare Vista nel ruolo patient
(=>     (instance ?CRAFT Aircraft)     (capability AirTransportation instrument ?CRAFT))	Mid-level-ontology.kif 17821-17823	Oggetto è un' istanza di Aircraft Oggetto è capace di fare AirTransportation nel ruolo instrument
(=>     (instance ?CRAFT Spacecraft)     (capability SpaceTransportation instrument ?CRAFT))	Mid-level-ontology.kif 17714-17716	Oggetto è un' istanza di Spacecraft Oggetto è capace di fare SpaceTransportation nel ruolo 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