Sigma KB Term Intersection

(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 811-832	Wenn functionRoomAmenity HotelFunctionRoom and Physical und Entity ist ein fall von HotelFunctionRoom %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht} und Process ist ein fall von Renting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an Entity %n{nicht} und Physical ist eine teilkategorie von Object, dann die Aussage es gibt entity und entity um entity ist ein fall von Physical %n{nicht} und entity ist ein fall von Process %n{nicht} und entity ist ein hilfmittel fuer entity %n{nicht} oder entity ist ein instrument fuer entity %n{nicht} oder entity ist ein patient von entity %n{nicht} und entity ist der agent von Entity %n{nicht} oder Entity erfaehrt ** entity %n{nicht} hat die modale Kraft von Possibility
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG))))	Economy.kif 5267-5276	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Object, dann es gibt Object und Object um Object ist ein fall von DeadFn OrganicObject %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von OrganicObject %n{nicht}
(=> (and (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (forall (?R) (=> (instance ?R ?ROOM) (exists (?O) (and (instance ?R ?ROOM) (instance ?O ?OBJ) (located ?O ?R))))))	Hotel.kif 281-292	Wenn roomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Object, dann fuer alle Object wenn Object ist ein fall von HotelUnit %n{nicht}, dann es gibt Physical um Object ist ein fall von HotelUnit %n{nicht} und Physical ist ein fall von Physical %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (located ?P ?R) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (exists (?PRICE ?U) (and (price ?O (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 396-417	Wenn paidRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Object und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Object ist ein fall von Physical %n{nicht} und Object befindet sich an %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von Human %n{nicht} und Process befindet sich an %n{nicht} oder Object ist ein patient von Process %n{nicht} oder Object ist ein instrument fuer Process %n{nicht} oder Object ist ein hilfmittel fuer Process %n{nicht}, dann es gibt ProcessRICE und UnitOfMeasure um price Object, ProcessRICE UnitOfMeasure(s) and Human und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und ** ProcessRICE ist groesserAls 0 %n{nicht}
(=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 2692-2701	Wenn Process ist eine teilkategorie von Process und Process ist ein fall von Process %n{nicht} und eventLocated Process and Region und CaseRole ist ein fall von CaseRole %n{nicht} und Object ist ein fall von Object %n{nicht} und Region ist ein fall von GeographicArea %n{nicht} und CaseRole Process and Object, dann capableAtLocation Process, CaseRole, Object and ** Region
(=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM))))))	Mid-level-ontology.kif 18421-18442	Wenn Physical ist ein fall von Protecting %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entityARM um entity ist ein fall von Object %n{nicht} und Object ist ein patient von Physical %n{nicht} und entityARM ist eine teilkategorie von die kategorie die entity beschreibt und Physical verhindert das Auftreten von entityARM oder hinders Physical and ** entityARM %n{nicht}
(=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L))))	Transportation.kif 2019-2024	Wenn TransportationDevice ist ein fall von Truck %n{nicht}, dann es gibt Object um Object ist eine teilkategorie von Object und cargoType TransportationDevice and ** Object
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure)))	Economy.kif 5258-5265	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Object, dann OrganicObject ist eine teilkategorie von Organism oder OrganicObject ist eine teilkategorie von AnatomicalStructure
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X))))	Hotel.kif 1478-1491	Wenn DutyFree ist ein attribut von Object %n{nicht} und Object ist ein fall von Store %n{nicht}, dann es gibt GeopoliticalArea, Entity,, , Object, and und Process um GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Object befindet sich an %n{nicht} und Object ist eine teilkategorie von Object und importCommodityType GeopoliticalArea and Object und Entity ist ein fall von Object %n{nicht} und Process ist ein fall von Selling %n{nicht} und Entity ist ein patient von Process %n{nicht} und ** Process befindet sich an %n{nicht}
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT))	Catalog.kif 98-107	Wenn offers AutonomousAgent and Catalog und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Object und Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process und Entity ist ein fall von Entity %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann AutonomousAgent ist faehig %n{nicht}, in der Rolle agent ** Process zu tun
(=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	Wenn guest Human and AutonomousAgent und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und TemporaryResidence ist ein fall von TemporaryResidenceOOM %n{nicht} und roomAmenity TemporaryResidenceOOM and Physical und Physical ist eine teilkategorie von Object, dann es gibt Physical um Physical ist ein fall von Physical %n{nicht} und Physical befindet sich an %n{nicht} und AutonomousAgent erlaubt Human, die Aufgabe der Art von es gibt entity um entity ist der agent von Human %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} oder Physical ist ein patient von entity %n{nicht} oder Physical ist ein hilfmittel fuer entity %n{nicht} durchzuf�hren %n{nicht}
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	Wenn customer CognitiveAgent and AutonomousAgent und propertyAmenity AutonomousAgent and Physical und Physical ist eine teilkategorie von Object und Entity ist ein fall von Physical %n{nicht}, dann AutonomousAgent erlaubt CognitiveAgent, die Aufgabe der Art von es gibt entity um entity ist ein fall von Process %n{nicht} und Entity ist ein hilfmittel fuer entity %n{nicht} oder Entity ist ein instrument fuer entity %n{nicht} oder Entity ist ein patient von entity %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} oder CognitiveAgent erfaehrt ** entity %n{nicht} durchzuf�hren %n{nicht}
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	Wenn freeRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Object und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Object ist ein fall von Physical %n{nicht} und Object befindet sich an %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von Human %n{nicht} und Object ist ein patient von Process %n{nicht} oder Object ist ein instrument fuer Process %n{nicht} oder Object ist ein hilfmittel fuer Process %n{nicht}, dann price Object, 0 UnitedStatesDollar(s) and ** Human
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME))	Catalog.kif 139-150	Wenn offersAtTime AutonomousAgent, Catalog and TimeInterval und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Object und Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process und Entity ist ein fall von Entity %n{nicht} und Entity ist ein patient von Process %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval ist eine teilkategorie von TimeInterval, dann capabilityDuring Process, agent, AutonomousAgent and ** TimeInterval
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Object)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))))	Geography.kif 2271-2278	Wenn naturalHazardTypeInArea GeographicArea and Physical und Physical ist eine teilkategorie von Object, dann es gibt Physical um Physical ist ein fall von Physical %n{nicht} und ** Physical befindet sich an %n{nicht}
(subclass Object Physical)	Merge.kif 846-846	Object ist eine teilkategorie von Physical
(subclass TornadoDamage Object)	Weather.kif 2068-2068	TornadoDamage ist eine teilkategorie von Object
(subclass TwoDimensionalObject Object)	Mid-level-ontology.kif 4797-4797	TwoDimensionalObject ist eine teilkategorie von Object
(subclass TransitwayObstacle Object)	Mid-level-ontology.kif 15250-15250	TransitwayObstacle ist eine teilkategorie von Object
(subclass ContactSite Object)	Mid-level-ontology.kif 24553-24553	ContactSite ist eine teilkategorie von Object
(subclass SphericalObject Object)	Mid-level-ontology.kif 25611-25611	SphericalObject ist eine teilkategorie von Object
(subclass SelfConnectedObject Object)	Merge.kif 862-862	SelfConnectedObject ist eine teilkategorie von Object
(subclass Region Object)	Merge.kif 1251-1251	Region ist eine teilkategorie von Object
(subclass Collection Object)	Merge.kif 1261-1261	Collection ist eine teilkategorie von Object
(subclass AutonomousAgent Object)	Merge.kif 1556-1556	AutonomousAgent ist eine teilkategorie von Object
(subclass AstronomicalBody Object)	Merge.kif 14022-14022	AstronomicalBody ist eine teilkategorie von Object
(subclass Artifact Object)	Merge.kif 15681-15681	Artifact ist eine teilkategorie von Object
(subclass Magnet Object)	Cars.kif 3866-3866	Magnet ist eine teilkategorie von Object

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