WhenFn - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__WhenFn__m,s__ChineseLanguage,'这是一个 UnaryFunction，它把一个 Object 或 Process 联系到它存在的准确 TimeInterval。注：在 TimeInterval (WhenFn ?THING)以外的每一个 TimePoint ?TIME， (time ?THING ?TIME) 并不存在')	Merge.kif 8577-8579
s__documentation(s__WhenFn__m,s__EnglishLanguage,'A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold.')	Merge.kif 8573-8576
s__domain(s__WhenFn__m,1,s__Physical)	Merge.kif 8571-8571	The number 1 argument of when is an instance of physical
s__instance(s__WhenFn__m,s__TemporalRelation) s__instance(s__TemporalRelation,s__SetOrClass)	Merge.kif 8568-8568	When is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__SetOrClass) s__instance(s__WhenFn__m,s__TotalValuedRelation)	Merge.kif 8570-8570	When is an instance of total valued relation
s__instance(s__UnaryFunction,s__SetOrClass) s__instance(s__WhenFn__m,s__UnaryFunction)	Merge.kif 8569-8569	When is an instance of unary function
s__range(s__WhenFn__m,s__TimeInterval)	Merge.kif 8572-8572	The range of when is an instance of time interval

appearance as argument number 2

s__format(s__ChineseLanguage,s__WhenFn__m,'%1 出现的 time')	chinese_format.kif 455-455
s__format(s__EnglishLanguage,s__WhenFn__m,'the time of existence of %1')	english_format.kif 275-275
s__relatedInternalConcept(s__WhereFn__m,s__WhenFn__m)	Merge.kif 4363-4363	Where is internally related to when
s__termFormat(s__ChineseLanguage,s__WhenFn__m,'何时函数')	chinese_format.kif 456-456	"何时函数" is the printable form of when in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__WhenFn__m,'when')	domainEnglishFormat.kif 10922-10922	"when" is the printable form of when in english language

antecedent

( ! [V__POS,V__THING] : ((s__instance(V__POS,s__TimePosition)s__and__ms__instance(V__THING,s__Physical)) s__=>(s__temporalPart(V__POS,s__WhenFn(V__THING)) s__<=> s__time(V__THING,V__POS))) )	Merge.kif 8186-8188	A time position is a part of the time of existence of a physical if and only if the physical exists during the time position
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-153	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and an entity is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the entity is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another entity is an instance of intentional process and the entity is a patient of the other entity or the entity is a resource for the other entity or the entity is an instrument for the other entity and the other cognitive agent is an agent of the other entity holds during the time of existence of the other cognitive agent is located at a third entity, then there exists another process such that the other process is an instance of corkage and the other cognitive agent is an agent of the other process and the other process ends up at the cognitive agent
( ! [V__AGENT,V__PROCESS_START,V__PROCESS,V__AGENT_END] : ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__PROCESS_START,s__TimePoint)s__and__ms__instance(V__PROCESS,s__Process)s__and__ms__instance(V__AGENT_END,s__TimePoint)) s__=>(((V__PROCESS_STARTs__equal__ms__BeginFn(s__WhenFn(V__PROCESS))) s__and__m(V__AGENT_ENDs__equal__ms__EndFn(s__WhenFn(V__AGENT))) s__and__ms__benefits(V__PROCESS,V__AGENT)) s__=>s__before(V__PROCESS_START,V__AGENT_END))) )	Mid-level-ontology.kif 20803-20808	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent is a beneficiary of the process, then the process-START happens before the agent-END
( ! [V__AGENT,V__PROCESS_START,V__PROCESS,V__AGENT_END] : ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__PROCESS_START,s__TimePoint)s__and__ms__instance(V__PROCESS,s__Process)s__and__ms__instance(V__AGENT_END,s__TimePoint)) s__=>(((V__PROCESS_STARTs__equal__ms__BeginFn(s__WhenFn(V__PROCESS))) s__and__m(V__AGENT_ENDs__equal__ms__EndFn(s__WhenFn(V__AGENT))) s__and__ms__suffers(V__PROCESS,V__AGENT)) s__=>s__before(V__PROCESS_START,V__AGENT_END))) )	Mid-level-ontology.kif 27764-27773	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent suffers from the process, then the process-START happens before the agent-END
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3049-3063	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and the physical2 is equal to immediately after the time of existence of the physical and another engineering component is an instance of ComputerDisplay and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Law.kif 520-529	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.	Mid-level-ontology.kif 28798-28819	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18629-18635	If embryonic is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval doesn't overlap the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18598-18604	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval meets the time interval
( ! [V__T,V__E,V__A] : ((s__instance(V__T,s__TimeInterval)s__and__ms__instance(V__E,s__Agent)) s__=>((s__instance(V__A,s__Accelerating)s__and__m(V__Ts__equal__ms__WhenFn(V__A)) s__and__ms__experiencer(V__A,V__E)) s__=>(s__not__m(s__exists__m[V__D] : (s__instance(V__D,s__Decelerating)s__and__ms__experiencer(V__D,V__E) s__and__m(V__Ts__equal__ms__WhenFn(V__D))))))) )	Mid-level-ontology.kif 14759-14769	If a process is an instance of accelerating and a time interval is equal to the time of existence of the process and an agent experiences the process, then there doesn't exist another process such that the other process is an instance of decelerating and the agent experiences the other process and the time interval is equal to the time of existence of the other process
( ! [V__S2_START,V__S1_START,V__A,V__S1,V__S2] : ((s__instance(V__S2_START,s__TimePoint)s__and__ms__instance(V__S1_START,s__TimePoint)) s__=>((s__instance(V__A,s__Ambulating)s__and__ms__subProcess(V__S1,V__A) s__and__ms__instance(V__S1,s__Stepping)s__and__ms__subProcess(V__S2,V__A) s__and__ms__instance(V__S2,s__Stepping)s__and__m(V__S1_STARTs__equal__ms__BeginFn(s__WhenFn(V__S1))) s__and__m(V__S2_STARTs__equal__ms__BeginFn(s__WhenFn(V__S2))) s__and__m(s__not__m(s__before(V__S1_START,V__S2_START) s__or__ms__before(V__S2_START,V__S1_START)))) s__=>(V__S1s__equal__mV__S2))) )	Mid-level-ontology.kif 676-689	If a process is an instance of ambulating and another process is a subprocess of the process and the other process is an instance of stepping and a third process is a subprocess of the process and the third process is an instance of stepping and the other process-START is equal to the beginning of the time of existence of the other process and the third process-START is equal to the beginning of the time of existence of the third process and the other process-START happens before the third process-START and the third process-START happens before the other process-START, then the other process is equal to the third process
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] : ((s__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__PAGE,s__WebPage)s__and__ms__instance(V__TRANSFER,s__DataTransfer)s__and__ms__instance(V__SERVER,s__Server)s__and__ms__instance(V__REQUESTING,s__Requesting)s__and__ms__instance(V__BROWSER,s__WebBrowser)s__and__ms__instance(V__INTERVAL,s__TimeInterval)s__and__ms__patient(V__ACCESSING,V__PAGE) s__and__ms__agent(V__REQUESTING,V__BROWSER) s__and__ms__destination(V__REQUESTING,V__SERVER) s__and__ms__patient(V__REQUESTING,V__PAGE) s__and__ms__origin(V__TRANSFER,V__SERVER) s__and__ms__destination(V__TRANSFER,V__BROWSER) s__and__ms__patient(V__TRANSFER,V__PAGE) s__and__ms__subProcess(V__TRANSFER,V__ACCESSING) s__and__ms__subProcess(V__REQUESTING,V__ACCESSING) s__and__m(s__EndFn(s__WhenFn(V__REQUESTING)) s__equal__ms__BeginFn(V__INTERVAL)) s__and__m(s__EndFn(s__WhenFn(V__TRANSFER)) s__equal__ms__EndFn(V__INTERVAL))) s__=>(s__SiteSpeedFn(V__ACCESSING) s__equal__mV__INTERVAL)) )	UXExperimentalTerms.kif 3954-3979	If an AccessingWebPage is an instance of AccessingWebPage and an entity is an instance of WebPage and a process is an instance of data transfer and an object is an instance of server and another process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the AccessingWebPage and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the AccessingWebPage and the other process is a subprocess of the AccessingWebPage and the end of the time of existence of the other process is equal to the beginning of the time interval and the end of the time of existence of the process is equal to the end of the time interval, then the time to access in the AccessingWebPage is equal to the time interval
( ! [V__DURATION,V__AMBULATE] : (s__instance(V__DURATION,s__TimeInterval)s__=>((s__instance(V__AMBULATE,s__Ambulating)s__and__m(V__DURATIONs__equal__ms__WhenFn(V__AMBULATE))) s__=>(s__exists__m[V__STEP1,V__STEPN] : (s__instance(V__STEP1,s__Stepping)s__and__ms__instance(V__STEPN,s__Stepping)s__and__ms__subProcess(V__STEP1,V__AMBULATE) s__and__ms__subProcess(V__STEPN,V__AMBULATE) s__and__ms__starts(s__WhenFn(V__STEP1) ,V__DURATION) s__and__ms__finishes(s__WhenFn(V__STEPN) ,V__DURATION) s__and__m(s__not__m(V__STEP1s__equal__mV__STEPN)))))) )	Mid-level-ontology.kif 661-673	If a process is an instance of ambulating and a time interval is equal to the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 654-660	If a process is an instance of anti surface operation and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then the other entity is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13828	If a process is an instance of boiling and 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 entity is a patient of the process and the measure of the entity is a quantity the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of UnitOfTemperature, then the quantity is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11600-11607	If a process is an instance of change of possession and an entity is a patient of the process and another entity possesses the entity holds during the beginning of the time of existence of the process and a third entity possesses the entity holds during the end of the time of existence of the process, then the other entity is not equal to the third entity
( ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] : ((s__instance(V__COLL,s__Collection)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__instance(V__LISTING,s__WebListing)s__and__ms__instance(V__TIME,s__TimePoint)s__and__ms__listingSeller(V__LISTING,V__AGENT) s__and__m(s__not__ms__member(V__LISTING,V__COLL)) s__and__m(s__forall__m[V__ITEM] : ((s__instance(V__ITEM,s__WebListing)s__and__ms__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE)) s__and__ms__temporalPart(V__TIME,s__WhenFn(V__ITEM)) s__and__m(s__not__m(V__ITEMs__equal__mV__LISTING))) s__=>s__member(V__ITEM,V__COLL))) s__and__m(s__forall__m[V__MEMBER] : (s__member(V__MEMBER,V__COLL) s__=>(s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) s__and__ms__instance(V__MEMBER,s__WebListing))))) s__=>(s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME) s__equal__mV__COLL)) )	UXExperimentalTerms.kif 1229-1256	If a collection is an instance of collection and a WebSite is an instance of WebSite and an agent is an instance of agent and a web listing is an instance of web listing and a time point is an instance of time point and the agent sells the web listing and the web listing is not a member of the collection and for all an object if the object is an instance of web listing and the object is a member of items for sale by the agent at the WebSite and the time point is a part of the time of existence of the object and the object is not equal to the web listing, then the object is a member of the collection and for all another object if the other object is a member of the collection, then the time point is a part of the time of existence of the object and the other object is an instance of web listing , then things for sale by the agent not listed in the web listing at the WebSite during the time point is equal to the collection
No TPTP formula. May not be expressible in strict first order.	Government.kif 768-776	If an entity is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an agreement effective during of a proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1920-1928	If a computer process is an instance of data compression and a digital data is processed by the computer process and the digital data requires a quantity an entity(s) holds during immediately before the time of existence of the computer process and the digital data requires another quantity the entity(s) holds during immediately after the time of existence of the computer process, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 610-623	If a process is an instance of dodging and an agent is an agent of the process and the processT is equal to the time of existence of the process, then the process has purpose there doesn't exist an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6338-6352	If a process is an instance of deposition and an entity is a patient of the process and the measure of the entity is a quantity joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another quantity joule(s) holds during immediately after the time of existence of the process, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11929-11938	If a process is an instance of discovering and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then there exists another process such that the other process is an instance of learning and the other process is a subprocess of the process and the entity is located at the other entity is a patient of the other process
( ! [V__Amount,V__Balance2,V__Balance1,V__TimeOfDeposit,V__Deposit,V__Account] : ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Balance2,s__CurrencyMeasure)s__and__ms__instance(V__Balance1,s__CurrencyMeasure)s__and__ms__instance(V__TimeOfDeposit,s__TimePosition)) s__=>((s__instance(V__Deposit,s__Deposit)s__and__ms__time(V__Deposit,V__TimeOfDeposit) s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__destination(V__Deposit,s__CurrencyFn(V__Account)) s__and__ms__transactionAmount(V__Deposit,V__Amount) s__and__ms__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit)) ,V__Balance1) s__and__m(V__Balance2s__equal__ms__AdditionFn(V__Balance1,V__Amount))) s__=>s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit)) ,V__Balance2))) )	FinancialOntology.kif 428-437	If a financial transaction is an instance of deposit and the financial transaction exists during a time position and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a currency measure is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure
( ! [V__Price1,V__Time1,V__Price2,V__Stock,V__Downtick] : ((s__instance(V__Price1,s__CurrencyMeasure)s__and__ms__instance(V__Time1,s__Agent)s__and__ms__instance(V__Time1,s__TimeInterval)s__and__ms__instance(V__Price2,s__CurrencyMeasure)s__and__ms__instance(V__Stock,s__Physical)) s__=>((s__instance(V__Downtick,s__Downtick)s__and__ms__patient(V__Downtick,V__Stock) s__and__m(s__WhenFn(V__Downtick) s__equal__mV__Time1)s__and__ms__price(V__Stock,V__Price1,V__Time1)) s__=>(s__exists__m[V__Transaction,V__Time2] : (s__instance(V__Time2,s__Agent)s__and__ms__instance(V__Time2,s__TimeInterval)s__and__m(s__instance(V__Transaction,s__StockMarketTransaction)s__and__ms__patient(V__Transaction,V__Stock) s__and__m(s__WhenFn(V__Transaction) s__equal__mV__Time2)s__and__ms__meetsTemporally(V__Time2,V__Time1) s__and__ms__price(V__Stock,V__Price2,V__Time2) s__and__ms__greaterThan(V__Price2,V__Price1)))))) )	FinancialOntology.kif 3128-3141	If a process is an instance of downtick and a physical is a patient of the process and the time of existence of the process is equal to an agent and the physical price a currency measure for the agent, then there exist another process and another agent such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical price another currency measure for the other agent and the other currency measure is greater than the currency measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12376-12383	A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
( ! [V__PHYS,V__TIME] : (s__instance(V__PHYS,s__Physical)s__=>((s__time(V__PHYS,V__TIME) s__and__ms__instance(V__TIME,s__TimePoint)) s__<=> s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS)) ,V__TIME,s__EndFn(s__WhenFn(V__PHYS))))) )	Merge.kif 8386-8390	A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
( ! [V__PHYS1,V__PHYS2] : ((s__instance(V__PHYS1,s__Physical)s__and__ms__instance(V__PHYS2,s__Physical)) s__=>(s__cooccur(V__PHYS1,V__PHYS2) s__<=> (s__WhenFn(V__PHYS1) s__equal__ms__WhenFn(V__PHYS2)))) )	Merge.kif 8500-8502	A physical occurs at the same time as another physical if and only if the time of existence of the physical is equal to the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28418-28426	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
( ! [V__PROCESS] : (s__instance(V__PROCESS,s__Creation)s__<=> (s__exists__m[V__PATIENT] : (s__instance(V__PATIENT,s__Physical)s__and__m(s__patient(V__PROCESS,V__PATIENT) s__and__ms__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))) s__and__m(s__not__ms__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))))))) )	Merge.kif 12727-12734	A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
( ! [V__PROCESS] : (s__instance(V__PROCESS,s__Destruction)s__<=> (s__exists__m[V__PATIENT] : (s__instance(V__PATIENT,s__Physical)s__and__m(s__patient(V__PROCESS,V__PATIENT) s__and__ms__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))) s__and__m(s__not__ms__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))))))) )	Merge.kif 12220-12227	A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14408-14417	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at 2 and student is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18415-18422	If actedIn a human and a content bearing physical and a process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process, then Actor is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16421-16427	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then Artist is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity and another entity such that the entity is an instance of zakat and a third entity is an instance of year and the third entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the third entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fourth entity and the fourth entity is greater than the currency measure and 0.025 has the modal force of obligation
( ! [V__A,V__M,V__MM,V__MR] : ((s__instance(V__A,s__CognitiveAgent)s__and__ms__instance(V__M,s__Music)s__and__ms__instance(V__MM,s__Physical)) s__=>((s__attribute(V__MR,s__CoverRecording)s__and__ms__instance(V__MR,s__MusicRecording)s__and__ms__songArtist(V__MR,V__A) s__and__ms__musicInterpretation(V__MR,V__M) s__and__ms__record(V__MR,V__MM)) s__=>(s__exists__m[V__ORIG,V__ARTIST,V__MUSIC] : (s__instance(V__ORIG,s__MusicRecording)s__and__ms__instance(V__ARTIST,s__CognitiveAgent)s__and__ms__instance(V__MUSIC,s__Physical)s__and__m(s__musicInterpretation(V__ORIG,V__M) s__and__ms__songArtist(V__ORIG,V__ARTIST) s__and__m(s__not__m(V__As__equal__mV__ARTIST)) s__and__ms__record(V__ORIG,V__MUSIC) s__and__ms__before(s__WhenFn(V__MUSIC) ,s__WhenFn(V__MM))))))) )	Music.kif 460-473	If cover recording is an attribute of a music recording and the music recording is an instance of music recording and a cognitive agent is the performer in the music recording and the music recording is a recording of a music and the music recording is a record of the musicM, then there exist another music recording, the cognitive agentRTIST and the musicUSIC such that the other music recording is a recording of the music and the cognitive agentRTIST is the performer in the other music recording and the cognitive agent is not equal to the cognitive agentRTIST and the other music recording is a record of the musicUSIC and the time of existence of the musicUSIC happens before the time of existence of the musicM
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13830-13843	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.	Hotel.kif 653-664	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true
( ! [V__MSG,V__TELEX,V__M] : ((s__destination(V__MSG,V__TELEX) s__and__ms__instance(V__MSG,s__Messaging)s__and__ms__patient(V__MSG,V__M) s__and__ms__instance(V__TELEX,s__Telex)) s__=>(s__exists__m[V__PROC,V__TEXT] : (s__instance(V__PROC,s__Process)s__and__m(s__instrument(V__PROC,V__TELEX) s__and__ms__result(V__PROC,V__TEXT) s__and__ms__represents(V__TEXT,V__M) s__and__ms__instance(V__TEXT,s__Text)s__and__ms__before(s__BeginFn(s__WhenFn(V__MSG)) ,s__BeginFn(s__WhenFn(V__PROC))))))) )	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18390-18399	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__C,V__T,V__I] : ((s__subclass(V__C,s__Physical)s__and__ms__instance(V__C,s__SetOrClass)s__and__ms__instance(V__T,s__TimePoint)s__and__ms__instance(V__I,s__Physical)) s__=>((s__firstInstanceCreated(V__C,V__T) s__and__ms__instance(V__I,V__C)) s__=>s__beforeOrEqual(V__T,s__BeginFn(s__WhenFn(V__I))))) )	Mid-level-ontology.kif 28827-28833	If firstInstanceCreated a kind of physical and a time point and another physical is an instance of a kind of physical, then the time point happen%{s} before or at the beginning of the time of existence of the other physical
( ! [V__MEMBER,V__SITE,V__COLL,V__INT,V__INTE] : ((s__instance(V__MEMBER,s__Agent)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__COLL,s__Collection)s__and__ms__instance(V__INT,s__TimeInterval)s__and__ms__instance(V__INTE,s__TimeInterval)) s__=>((s__firstTimeBuyers(V__INT,V__SITE,V__COLL) s__and__ms__member(V__MEMBER,V__COLL)) s__=>(s__exists__m[V__BUYING] : (s__instance(V__BUYING,s__Buying)s__and__ms__agent(V__BUYING,V__MEMBER) s__and__ms__eCommerceSite(V__BUYING,V__SITE) s__and__ms__during(s__WhenFn(V__BUYING) ,V__INTE))))) )	UXExperimentalTerms.kif 3730-3739	If a collection are first time buyers on a WebSite during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time intervalE
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] : ((s__instance(V__MEMBER,s__Agent)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__COLL,s__Collection)s__and__ms__instance(V__INT,s__TimeInterval)) s__=>((s__firstTimeBuyers(V__INT,V__SITE,V__COLL) s__and__ms__member(V__MEMBER,V__COLL)) s__=>(s__not__m(s__exists__m[V__BUYING] : (s__instance(V__BUYING,s__Buying)s__and__ms__agent(V__BUYING,V__MEMBER) s__and__ms__eCommerceSite(V__BUYING,V__SITE) s__and__ms__earlier(s__WhenFn(V__BUYING) ,V__INT)))))) )	UXExperimentalTerms.kif 3741-3751	If a collection are first time buyers on a WebSite during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 1972-1980	There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity if the entity is a member of TwelveApostles holds during the time interval, then JesusOfNazareth is a friend of the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1922-1922	JesusOfNazareth is located at palestine holds during the time of existence of JesusOfNazareth

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

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

KB Term:			Term intersection

English Word: