|
| (=> (attribute ?X Flammable) (capability Combustion patient ?X)) |
Merge.kif 12588-12590 | |
| (=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1883-1888 | |
| (=> (capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT) (exists (?TIME) (and (instance ?TIME ?TIMEINT) (holdsDuring ?TIME (capability ?PROCESS ?ROLE ?OBJ))))) |
Dining.kif 922-928 | |
| (=> (deliveryRegion ?AGENT ?REGION) (capability DeliveryService agent ?AGENT)) |
Dining.kif 546-548 | |
| (=> (fitForMilitaryService ?AGENT ?PROCESS) (capability ?PROCESS agent ?AGENT)) |
Military.kif 917-919 | |
| (=> (hasSkill ?PROC ?AGENT) (capability ?PROC agent ?AGENT)) |
Merge.kif 3987-3989 | |
| (=> (holdsDuring ?T (and (instance ?C Computer) (attribute ?C AirplaneMode))) (not (holdsDuring ?T (capability (NetworkCommunicationFn WirelessNetwork) origin ?C)))) |
ComputingBrands.kif 1820-1827 | |
| (=> (holdsDuring ?T (attribute ?H AVPUAlertStatus)) (holdsDuring ?T (capability ?H agent Communication))) |
Medicine.kif 6427-6431 | |
| (=> (holdsDuring ?T (attribute ?H Ambulatory)) (holdsDuring ?T (capability Walking agent ?H))) |
Medicine.kif 390-394 | |
| (=> (holdsDuring ?T (attribute ?H Conscious)) (holdsDuring ?T (capability IntentionalProcess agent ?H))) |
Medicine.kif 441-445 | |
| (=> (instance ?A Animal) (capability Drooling experiencer ?A)) |
Mid-level-ontology.kif 6583-6585 | |
| (=> (instance ?A AutonomousAgent) (capability SocialInteraction agent ?A)) |
Merge.kif 13015-13017 | |
| (=> (instance ?AGENT AutonomousAgent) (exists (?PROC) (capability ?PROC agent ?AGENT))) |
Merge.kif 1561-1564 | |
| (=> (instance ?AGENT CognitiveAgent) (capability Reasoning agent ?AGENT)) |
Merge.kif 11997-11999 | |
| (=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT)) |
WMD.kif 1013-1015 | |
| (=> (instance ?AGENT SentientAgent) (capability Perception experiencer ?AGENT)) |
Merge.kif 13461-13463 | |
| (=> (instance ?ANTENNA Antenna) (capability RadioEmission instrument ?ANTENNA)) |
Mid-level-ontology.kif 15828-15830 | |
| (=> (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 | |
| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 16981-16986 | |
| (=> (instance ?BOARD BoardOrBlock) (capability Constructing resource ?BOARD)) |
Mid-level-ontology.kif 4746-4748 | |
| (=> (instance ?CAMERA Camera) (capability Photographing instrument ?CAMERA)) |
Mid-level-ontology.kif 13316-13318 | |
| (=> (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 | |
| (=> (instance ?CLOUD Cloud) (capability Seeing patient ?CLOUD)) |
Merge.kif 14754-14756 | |
| (=> (instance ?CRAFT Aircraft) (capability AirTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 17822-17824 | |
| (=> (instance ?CRAFT Spacecraft) (capability SpaceTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 17715-17717 | |
| 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