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
(subclass Renting FinancialTransaction)	Mid-level-ontology.kif 22421-22421	Renting ist eine teilkategorie von FinancialTransaction
(subclass Renting Borrowing)	Mid-level-ontology.kif 22422-22422	Renting ist eine teilkategorie von Borrowing

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