( ! [V__WORD,V__SYLLABLE] :    (s__instance(V__SYLLABLE,s__Object) =>      (s__attribute(V__SYLLABLE,s__Stressed) &        s__instance(V__WORD,s__Word) &        s__part(V__SYLLABLE,V__WORD))    =>    ~(( ? [V__SYLLABLE2] :        ((s__instance(V__SYLLABLE2,s__Syllable) &            s__part(V__SYLLABLE2,V__WORD)          &          s__attribute(V__SYLLABLE2,s__Stressed) &          ~((V__SYLLABLE2 = V__SYLLABLE)))))) ) )	Mid-level-ontology.kif 17224-17234	If stressed is an attribute of an object and another object is an instance of word and the object is a part of the other object, then there doesn't exist the object2 such that the object2 is an instance of syllable and the object2 is a part of the other object and stressed is an attribute of the object2 and the object2 is not equal to the object
( ! [V__X,V__Y] :    ((s__attribute(V__X,V__Y)      &      s__instance(V__Y,s__TemperatureAttribute) &      s__instance(V__X,s__Object))    =>    ( ? [V__TEMP] :      ((s__measure(V__X,V__TEMP)        &        s__instance(V__TEMP,s__TemperatureMeasure) &        s__attribute(V__TEMP,V__Y)))) ) )	Mid-level-ontology.kif 23619-23628	If an attribute is an attribute of an object and the attribute is an instance of temperature attribute and the object is an instance of object, then there exists another object such that the measure of the object is the other object and the other object is an instance of temperature measure and the attribute is an attribute of the other object
( ! [V__X,V__SELL] :    (s__instance(V__SELL,s__Process) =>      (s__attribute(V__X,s__DutyFree) &        s__instance(V__X,s__Store))      =>      ( ! [V__OBJ] :        ((s__instance(V__SELL,s__Selling) &            s__patient(V__SELL,V__OBJ)          &          s__located(V__SELL,V__X)        &        s__instance(V__OBJ,s__Product))      =>      s__attribute(V__OBJ,s__DutyFree))) ) )	Hotel.kif 1427-1438	If duty free is an attribute of an object and the object is an instance of store, then for all another object if a process is an instance of selling and the other object is a patient of the process and the process is located at the object and the other object is an instance of product, then duty free is an attribute of the other object
( ! [V__X] :    ((s__attribute(V__X,s__Historical) &        s__instance(V__X,s__City))      =>      ( ? [V__EV] :        ((s__instance(V__EV,s__Physical) &            s__attribute(V__EV,s__Historical) &            s__eventLocated(V__EV,V__X))))    ) )	Mid-level-ontology.kif 24713-24721	If historical is an attribute of an object and the object is an instance of city, then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at 2
( ! [V__X] :    (s__instance(V__X,s__Agent) =>      (s__attribute(V__X,s__TravelerAccommodation) &        s__capability(s__RoomCleaningService,s__agent__m,V__X))    =>    ( ? [V__MAID, V__HOTELROOM] :      ((s__instance(V__MAID,s__CognitiveAgent) &          (s__employs(V__X,V__MAID)          &          s__attribute(V__MAID,s__Maid) &          s__instance(V__HOTELROOM,s__HotelUnit) &          s__part(V__HOTELROOM,s__PropertyFn(V__X))      &      s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)    &    s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID))))) ) )	Hotel.kif 1883-1894	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
( ! [V__X,V__CASINO] :    (s__instance(V__X,s__Agent) =>      (s__attribute(V__X,s__TravelerAccommodation) &        s__element(V__CASINO,s__PropertyFn(V__X))    &    s__instance(V__CASINO,s__Casino)) => s__attribute(V__X,s__CasinoHotels) ) )	Hotel.kif 1403-1408	If traveler accommodation is an attribute of an agent and an entity is an element of belongings of the agent and the entity is an instance of Casino, then casino hotels is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12800-12813	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the quantity is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18392-18401	If a human directed a motion picture and a process is an instance of film making and an agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process, then film director is an attribute of the human holds during the time of existence of the process
( ! [V__AGENT,V__RESERVE] :    (s__instance(V__AGENT,s__Agent) =>      (s__fulfillingEntity(V__AGENT,V__RESERVE)      &      s__instance(V__RESERVE,s__HotelReservation))    =>    s__attribute(V__AGENT,s__TravelerAccommodation) ) )	Hotel.kif 2789-2793	If an agent fulfills a reservation and the reservation is an instance of hotel reservation, then traveler accommodation is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 524-533	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exists another entity such that another time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1902-1906	If an entity publishes a set or class holds during a time position and the set or class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1890-1894	If an entity publishes a set or class holds during a time position and the set or class is a subclass of musical composition, then music publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1914-1918	If an entity publishes a set or class holds during a time position and the set or class is a subclass of newspaper, then newspaper publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1908-1912	If an entity publishes a set or class holds during a time position and the set or class is a subclass of periodical, then periodical publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1896-1900	If an entity publishes a set or class holds during a time position and the set or class is a subclass of text, then information industry is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3427-3432	If a bank card is an instance of expired card holds during a time position and a financial account is a card account of the bank card, then active agreement is not an attribute of the bank card holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19133-19144	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4407-4416	If a process is an instance of activating a deactivated account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately before the time of existence of the process and account active is an attribute of the entity holds during immediately after the time of existence of the process
( ! [V__FOOD,V__ACT] :    (s__instance(V__FOOD,s__Object) =>      (s__instance(V__ACT,s__Drinking) &        s__resource(V__ACT,V__FOOD))    =>    s__attribute(V__FOOD,s__Liquid) ) )	Merge.kif 9653-9657	If a process is an instance of drinking and an object is a resource for the process, then liquid is an attribute of the object
( ! [V__FOOD,V__ACT] :    (s__instance(V__FOOD,s__Object) =>      (s__instance(V__ACT,s__Eating) &        s__resource(V__ACT,V__FOOD))    =>    s__attribute(V__FOOD,s__Solid) ) )	Merge.kif 9642-9646	If a process is an instance of eating and an object is a resource for the process, then solid is an attribute of the object
( ! [V__AGENT,V__ORG] :    ((s__instance(V__AGENT,s__Agent) &        s__instance(V__ORG,s__Organization) &        s__member(V__AGENT,V__ORG))    =>    s__attribute(V__AGENT,s__MemberFn(V__ORG)) ) )	Government.kif 1721-1726	If an object is an instance of agent and an organization is an instance of organization and the object is a member of the organization, then the member of the organization is an attribute of the object
( ! [V__AGENT,V__POSITION,V__ORG] :    ((s__instance(V__AGENT,s__Human) &        s__instance(V__ORG,s__Organization) &        s__instance(V__POSITION,s__Position) &        s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION))) => s__attribute(V__AGENT,s__MemberFn(V__ORG)) ) )	Government.kif 1743-1749	If an object is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the object, then the member of the organization is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11699-11712	If a process is an instance of shape change and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of shape attribute and the other entity is an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is not an attribute of the entity holds during the end of the time of existence of the process or the other entity is not an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11659-11672	If a process is an instance of surface change and an object is a patient of the process, then there exist another object and an entity such that the other object is a superficial part of the object and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners