Knowledge base Browser - overlapsTemporally

Browsing Interface

[ Home | Graph | ]

KB: Language:

KB Term:

English Word:

Sigma KEE - overlapsTemporally

overlapsTemporally

appearance as argument number 1

(documentation overlapsTemporally EnglishLanguage "(overlaps temporally ?INTERVAL1 ?INTERVAL2) means that the time intervals ?INTERVAL1 and ?INTERVAL2 have a time interval as a common part.")	Merge.kif 6719-6721
(domain overlapsTemporally 1 TimeInterval)	Merge.kif 6717-6717	The number 1 argument of overlaps temporally is an instance of time interval
(domain overlapsTemporally 2 TimeInterval)	Merge.kif 6718-6718	The number 2 argument of overlaps temporally is an instance of time interval
(instance overlapsTemporally BinaryPredicate)	Merge.kif 6713-6713	overlaps temporally is an instance of binary predicate
(instance overlapsTemporally ReflexiveRelation)	Merge.kif 6715-6715	overlaps temporally is an instance of reflexive relation
(instance overlapsTemporally SymmetricRelation)	Merge.kif 6716-6716	overlaps temporally is an instance of symmetric relation
(instance overlapsTemporally TemporalRelation)	Merge.kif 6714-6714	overlaps temporally is an instance of temporal relation

appearance as argument number 2

(format EnglishLanguage overlapsTemporally "%2 %n{doesn't} overlap%p{s} %1")	english_format.kif 250-250
(subrelation during overlapsTemporally)	Merge.kif 6741-6741	during is a subrelation of overlaps temporally
(termFormat EnglishLanguage overlapsTemporally "overlaps temporally")	domainEnglishFormat.kif 7086-7086	term format english language, overlaps temporally and "overlaps temporally"

antecedent

(<=> (and (agreementPeriod ?Agreement ?Period) (overlapsTemporally ?Date ?Period)) (agreementActive ?Agreement ?Date))	FinancialOntology.kif 574-578	A time interval is an agreement period of a contract and time interval overlaps time interval if and only if time interval is an agreement active of contract
(<=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (exists (?INTERVAL3) (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 6723-6729	A time interval overlaps time interval if and only if there exists a time position so that time position is an instance of time interval and time position is a part of time interval and time position is a part of time interval
(=> (and (instance ?LOW LowTide) (instance ?HIGH HighTide) (exactlyLocated ?LOW ?PLACE) (exactlyLocated ?HIGH ?PLACE) (instance ?DAY Day) (overlapsTemporally ?LOW ?DAY) (overlapsTemporally ?HIGH ?DAY)) (exists (?AMOUNT1 ?AMOUNT2) (and (holdsDuring ?LOW (waterDepth ?PLACE ?AMOUNT1)) (holdsDuring ?HIGH (waterDepth ?PLACE ?AMOUNT2)) (greaterThan ?AMOUNT2 ?AMOUNT1))))	Geography.kif 4538-4551	If a physical is an instance of low tide and physical is an instance of high tide and physical is exactly located in a water area and physical is exactly located in water area and a time interval is an instance of day and time interval overlaps physical and time interval overlaps physical then there exist a length measure and length measure so that length measure is a water depth of water area holds during physical and length measure is a water depth of water area holds during physical and length measure is greater than length measure
(=> (and (lowTide ?PLACE ?TIME1 ?AMOUNT1) (highTide ?PLACE ?TIME2 ?AMOUNT2) (instance ?DAY Day) (overlapsTemporally ?TIME1 ?DAY) (overlapsTemporally ?TIME2 ?DAY)) (greaterThan ?AMOUNT1 ?AMOUNT2))	Geography.kif 4602-4609	If a region low tide a time interval for a length measure and region high tide time interval for length measure and a time interval is an instance of day and time interval overlaps time interval and time interval overlaps time interval then length measure is greater than length measure

consequent

(<=> (yearOfFounding ?O ?Y) (exists (?F) (and (overlapsTemporally ?F (YearFn ?Y)) (instance ?F Founding) (result ?F ?O))))	Mid-level-ontology.kif 744-750	An integer is a year of founding of an organization if and only if there exists a time interval so that the year integer overlaps time interval and time interval is an instance of founding and organization is a result of time interval
(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 11066-11079	If a real number an unit of measure(s) is a boiling point of a pure substance and an object is an instance of a pure substance and the measure of object is real number unit of measure(s) holds during a time interval and unit of measure is an instance of UnitOfTemperature and real number is greater than or equal to real number then gas is an attribute of object holds during time interval or there exists a process so that time interval overlaps the time of existence of process and process is an instance of boiling and object is a patient of process
(=> (and (instance ?C Convoy) (member ?VEH ?C)) (exists (?DRIVE) (and (instance ?DRIVE Driving) (overlapsTemporally (WhenFn ?DRIVE) (WhenFn ?C)) (patient ?DRIVE ?VEH))))	Mid-level-ontology.kif 15255-15263	If a collection is an instance of convoy and a self connected object is a member of collection then there exists a process so that process is an instance of driving and the time of existence of collection overlaps the time of existence of process and self connected object is a patient of process
(=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST)))))	Merge.kif 8219-8227	If a process is an instance of digesting and an agent is an agent of process then there exists process so that process is an instance of ingesting and agent is an agent of process and the time of existence of process overlaps the time of existence of process
(=> (and (instance ?DRYSPELL Drought) (exactlyLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (located ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL)))))	Geography.kif 2206-2217	If a physical is an instance of drought and physical is exactly located in an object then there don't exist physical and object so that physical is an instance of raining and object is an instance of region and physical is located at object and object overlaps with object and physical overlaps physical
(=> (and (instance ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period)))))	FinancialOntology.kif 2726-2742	If a contract is an instance of GTC order and a time interval is an agreement period of contract then there exists a process so that process is an instance of filling an order and contract is a patient of process and the time of existence of process is equal to time interval and time interval overlaps time interval or there exists process so that process is an instance of cancelling an order and contract is a patient of process and the time of existence of process is equal to a time interval and time interval finishes time interval
(=> (and (instance ?Order LimitOrder) (agreementMember ?Order ?Broker) (instance ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (exists (?Time) (and (askPrice ?Object ?Price ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)))) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 1864-1882	If a contract is an instance of limit order and a cognitive agent is an agreement member of contract and cognitive agent is an instance of broker and contract order for buying for a security and the measure of security is a physical quantity and a currency measure is a limit price of contract and there exists an agent so that ask price security, currency measure and agent and currency measure is less than or equal to currency measure then cognitive agent is obliged to perform tasks of type the class described by ?Buy
(=> (and (instance ?Order LimitOrder) (agreementMember ?Order ?Broker) (instance ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (exists (?Time) (and (bidPrice ?Object ?Price ?Time) (greaterThanOrEqualTo ?Price ?LimitPrice)))) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 1884-1902	If a contract is an instance of limit order and a cognitive agent is an agreement member of contract and cognitive agent is an instance of broker and contract order for selling for a security and the measure of security is a physical quantity and a currency measure is a limit price of contract and there exists an agent so that bid price security, currency measure and agent and currency measure is greater than or equal to currency measure then cognitive agent is obliged to perform tasks of type the class described by ?Sell
(=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Merge.kif 6731-6736	If an entity is an instance of binary predicate and entity is an instance of spatial relation and entity a physical and physical then the time of existence of physical overlaps the time of existence of physical
(=> (and (instance ?SUBSTANCE ?TYPE) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (meltingPoint ?TYPE (MeasureFn ?TEMP2 ?MEASURE)) (instance ?MEASURE UnitOfTemperature) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP3 ?MEASURE))) (greaterThan ?TEMP3 ?TEMP2) (lessThan ?TEMP3 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Liquid)) (exists (?MELT) (and (overlapsTemporally (WhenFn ?MELT) ?TIME) (instance ?MELT Melting) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 11088-11103	If an object is an instance of a pure substance and a real number an unit of measure(s) is a boiling point of a pure substance and real number unit of measure(s) is a melting point of pure substance and unit of measure is an instance of UnitOfTemperature and the measure of object is a real number unit of measure(s) holds during a time interval and real number is greater than real number and real number is less than real number then liquid is an attribute of object holds during time interval or there exists a physical so that time interval overlaps the time of existence of physical and physical is an instance of melting and object is a patient of a process
(=> (and (instance ?SUBSTANCE ?TYPE) (meltingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (lessThan ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Solid)) (exists (?FREEZE) (and (overlapsTemporally (WhenFn ?FREEZE) ?TIME) (instance ?FREEZE Freezing) (patient ?FREEZE ?SUBSTANCE)))))	Merge.kif 11105-11118	If an object is an instance of a pure substance and a real number an unit of measure(s) is a melting point of a pure substance and the measure of object is real number unit of measure(s) holds during a time interval and unit of measure is an instance of UnitOfTemperature and real number is less than real number then solid is an attribute of object holds during time interval or there exists a process so that time interval overlaps the time of existence of process and process is an instance of freezing and object is a patient of process
(=> (and (instance ?VACATION Vacationing) (instance ?WORK Working) (agent ?VACATION ?PERSON) (agent ?WORK ?PERSON) (instance ?PERSON Human)) (not (overlapsTemporally (WhenFn ?VACATION) (WhenFn ?WORK))))	Mid-level-ontology.kif 13724-13731	If a process is an instance of vacationing and process is an instance of working and an agent is an agent of process and agent is an agent of process and agent is an instance of human then the time of existence of process doesn't overlap the time of existence of process
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA)))))	Geography.kif 2178-2186	If a physical is a natural hazard type in area of a geographic area and a physical is a subclass of process then there exists physical so that physical is an instance of physical and physical is located at geographic area and the time of existence of geographic area overlaps the time of existence of physical
(=> (attribute ?H NewsReporter) (exists (?T ?EV) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (authors ?H ?T) (refers ?T ?EV))))	Mid-level-ontology.kif 14109-14118	If news reporter is an attribute of an agent then there exist a text and a physical so that physical is an instance of process and the time of existence of agent overlaps the time of existence of physical and agent is the author of a text and text includes a reference to physical
(=> (dateDissolved ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (EndFn (WhenFn ?THING))))))	Government.kif 2353-2358	If a time position is a date dissolved of a physical then there exists a time interval so that time interval is an instance of a time position and the end of the time of existence of physical overlaps time interval
(=> (dateEstablished ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (BeginFn (WhenFn ?THING))))))	Government.kif 2337-2342	If a time position is a date established of a physical then there exists a time interval so that time interval is an instance of a time position and the beginning of the time of existence of physical overlaps time interval
(=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2))))	Economy.kif 2362-2370	If an agent export partner in period agent for a time interval then there exist time interval and a process so that time interval is an instance of a time interval and process is an instance of exporting and the time of existence of process overlaps time interval and process originates at agent and process ends at agent
(=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME ?EXPORT) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1))))	Economy.kif 2648-2656	If an agent import partner in period agent for a time interval then there exist time interval and a time interval so that time interval is an instance of a time interval and time interval is an instance of exporting and time interval overlaps time interval and time interval originates at agent and time interval ends at agent

statement

(not
(overlapsTemporally CommonEra BeforeCommonEra))

Mid-level-ontology.kif 5217-5217

Before common era doesn't overlap common era

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners