WhenFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WhenFn ChineseLanguage "这是一个 UnaryFunction，它把一个 Object 或 Process 联系到它存在的准确 TimeInterval。注：在 TimeInterval (WhenFn ?THING)以外的每一个 TimePoint ?TIME， (time ?THING ?TIME) 并不存在")	chinese_format.kif 2736-2738
(documentation WhenFn 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 7897-7900
(domain WhenFn 1 Physical)	Merge.kif 7894-7894	domain WhenFn, 1 and Physical
(instance WhenFn TemporalRelation)	Merge.kif 7891-7891	instance WhenFn and TemporalRelation
(instance WhenFn TotalValuedRelation)	Merge.kif 7893-7893	instance WhenFn and TotalValuedRelation
(instance WhenFn UnaryFunction)	Merge.kif 7892-7892	instance WhenFn and UnaryFunction
(range WhenFn TimeInterval)	Merge.kif 7895-7895	range WhenFn and TimeInterval

appearance as argument number 2

(format ChineseLanguage WhenFn "%1 出现的 time")	chinese_format.kif 455-455
(format EnglishLanguage WhenFn "the time of existence of %1")	english_format.kif 464-464
(relatedInternalConcept WhereFn WhenFn)	Merge.kif 4042-4042	relatedInternalConcept WhereFn and WhenFn
(termFormat ChineseLanguage WhenFn "何时")	domainEnglishFormat.kif 62872-62872
(termFormat ChineseLanguage WhenFn "何时函数")	chinese_format.kif 456-456
(termFormat ChineseTraditionalLanguage WhenFn "何時")	domainEnglishFormat.kif 62871-62871
(termFormat EnglishLanguage WhenFn "when")	domainEnglishFormat.kif 62870-62870

antecedent

(<=> (temporalPart ?POS (WhenFn ?THING)) (time ?THING ?POS))	Merge.kif 7528-7530	temporalPart TimePosition and WhenFn Physical time Physical and TimePosition
(=> (and (engineIdleSpeed ?E (RotationFn ?N1 ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn ?N2 ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Cars.kif 2572-2588	engineIdleSpeed InternalCombustionEngine and RotationFn Rotating and TimeDuration instance Object and Automobile instance Process and GasPedal instance Process and Pushing destination Process and Object part InternalCombustionEngine and Object part Object and Object instance Object and Crankshaft part Object and InternalCombustionEngine holdsDuring WhenFn Process and measure Object and RotationFn entity and TimeDuration modalAttribute greaterThan entity and Rotating and Likely
(=> (and (equal ?PROCESS-START (BeginFn (WhenFn ?PROCESS))) (equal ?AGENT-END (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESS-START ?AGENT-END))	Mid-level-ontology.kif 20816-20821	equal Process-START and BeginFn WhenFn Process equal Agent-END and EndFn WhenFn Agent benefits Process and Agent before Process-START and Agent-END
(=> (and (equal ?PROCESS-START (BeginFn (WhenFn ?PROCESS))) (equal ?AGENT-END (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESS-START ?AGENT-END))	Mid-level-ontology.kif 27770-27779	equal Process-START and BeginFn WhenFn Process equal Agent-END and EndFn WhenFn Agent suffers Process and Agent before Process-START and Agent-END
(=> (and (holdsDuring ?T (attribute ?X Booting)) (holdsDuring ?T2 (attribute ?X HostReady)) (equal ?T2 (ImmediateFutureFn (WhenFn ?T))) (instance ?DIS ComputerDisplay) (connectedEngineeringComponents ?DIS ?X)) (modalAttribute (exists (?HS) (and (instance ?HS HomeScreen) (displayedUpon ?HS ?DIS))) Likely))	ComputingBrands.kif 3219-3233	holdsDuring Physical and attribute EngineeringComponent and 起動 holdsDuring Physical and attribute EngineeringComponent and HostReady equal Physical and ImmediateFutureFn WhenFn Physical instance EngineeringComponent and ComputerDisplay connectedEngineeringComponents EngineeringComponent and EngineeringComponent modalAttribute entity instance entity and ホームスクリーン displayedUpon entity and EngineeringComponent and Likely
(=> (and (holdsDuring ?T (desires ?M (attribute ?V Dead))) (instance ?MURDER Murder) (agent ?MURDER ?M) (patient ?MURDER ?V) (earlier ?T (WhenFn ?MURDER))) (attribute ?MURDER Premeditated))	Law.kif 524-533	holdsDuring TimeInterval and desires Agent and attribute Entity and Dead instance AgentURDER and Murder agent AgentURDER and Agent patient AgentURDER and Entity earlier TimeInterval and WhenFn AgentURDER attribute AgentURDER and Premeditated
(=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 28807-28828	holdsDuring TimeInterval and attribute Agent and Dieting holdsDuring TimeInterval and attribute Agent and Dieting instance Object and Meal instance Process and Eating agent Process and Agent resource Process and Object during WhenFn Process and TimeInterval measure Object and MeasureFn RealNumber and Calorie instance Object and Meal instance Process and Eating agent Process and Agent resource Process and Object during WhenFn Process and TimeInterval measure Object and MeasureFn RealNumber and Calorie modalAttribute greaterThan RealNumber and RealNumber and Likely
(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 16864-16870	holdsDuring TimeInterval and attribute Agent and Embryonic instance Process and Birth equal TimeInterval and WhenFn Process experiencer Process and Agent overlapsTemporally TimeInterval and TimeInterval
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 16835-16841	holdsDuring TimeInterval and attribute Agent and Larval instance Process and Birth equal TimeInterval and WhenFn Process experiencer Process and Agent meetsTemporally TimeInterval and TimeInterval
(=> (and (instance ?A Accelerating) (equal ?T (WhenFn ?A)) (experiencer ?A ?E)) (not (exists (?D) (and (instance ?D Decelerating) (experiencer ?D ?E) (equal ?T (WhenFn ?D))))))	Mid-level-ontology.kif 14760-14770	instance Process and Accelerating equal TimeInterval and WhenFn Process experiencer Process and Agent Process instance Process and Decelerating experiencer Process and Agent equal TimeInterval and WhenFn Process
(=> (and (instance ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1-START (BeginFn (WhenFn ?S1))) (equal ?S2-START (BeginFn (WhenFn ?S2))) (not (or (before ?S1-START ?S2-START) (before ?S2-START ?S1-START)))) (equal ?S1 ?S2))	Mid-level-ontology.kif 675-688	instance Process and Ambulating subProcess Process and Process instance Process and Stepping subProcess Process and Process instance Process and Stepping equal Process-START and BeginFn WhenFn Process equal Process-START and BeginFn WhenFn Process before Process-START and Process-START before Process-START and Process-START equal Process and Process
(=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL))	UXExperimentalTerms.kif 3961-3986	instance AccessingWebPage and AccessingWebPage instance Entity and WebPage instance Process and DataTransfer instance Object and Server instance Process and Requesting instance Agent and WebBrowser instance TimeInterval and TimeInterval patient AccessingWebPage and Entity agent Process and Agent destination Process and Object patient Process and Entity origin Process and Object destination Process and Agent patient Process and Entity subProcess Process and AccessingWebPage subProcess Process and AccessingWebPage equal EndFn WhenFn Process and BeginFn TimeInterval equal EndFn WhenFn Process and EndFn TimeInterval equal SiteSpeedFn AccessingWebPage and TimeInterval
(=> (and (instance ?AMBULATE Ambulating) (equal ?DURATION (WhenFn ?AMBULATE))) (exists (?STEP1 ?STEPN) (and (instance ?STEP1 Stepping) (instance ?STEPN Stepping) (subProcess ?STEP1 ?AMBULATE) (subProcess ?STEPN ?AMBULATE) (starts (WhenFn ?STEP1) ?DURATION) (finishes (WhenFn ?STEPN) ?DURATION) (not (equal ?STEP1 ?STEPN)))))	Mid-level-ontology.kif 660-672	instance Process and Ambulating equal TimeInterval and WhenFn Process Process Process instance Process and Stepping instance Process and Stepping subProcess Process and Process subProcess Process and Process starts WhenFn Process and TimeInterval finishes WhenFn Process and TimeInterval equal Process and Process
(=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	instance Process and ArmedReconnaissance agent Process and CognitiveAgent patient Process and Entity holdsDuring WhenFn Process and enemy CognitiveAgent and Entity confersRight entity instance entity and Attack agent entity and CognitiveAgent patient entity and Entity, Process and CognitiveAgent
(=> (and (instance ?ASO AntiSurfaceOperation) (patient ?ASO ?TARGET) (holdsDuring (WhenFn ?ASO) (located ?TARGET ?LOCATION))) (instance ?LOCATION WaterArea))	MilitaryProcesses.kif 665-671	instance Process and AntiSurfaceOperation patient Process and Entity holdsDuring WhenFn Process and located Entity and Entity instance Entity and WaterArea
(=> (and (instance ?BOILING Boiling) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (patient ?BOILING ?SUBSTANCE) (holdsDuring (WhenFn ?BOILING) (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature)) (greaterThanOrEqualTo ?TEMP2 ?TEMP1))	Merge.kif 12790-12798	instance Process and Boiling boilingPoint PureSubstance and MeasureFn RealNumber and UnitOfMeasure instance Entity and PureSubstance patient Process and Entity holdsDuring WhenFn Process and measure Entity and MeasureFn Quantity and UnitOfMeasure instance UnitOfMeasure and UnitOfTemperature greaterThanOrEqualTo Quantity and RealNumber
(=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2)))	Merge.kif 10837-10844	instance Process and ChangeOfPossession patient Process and Entity holdsDuring BeginFn WhenFn Process and possesses Entity and Entity holdsDuring EndFn WhenFn Process and possesses Entity and Entity equal Entity and Entity
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT Agent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM) (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL))) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1226-1253	instance Collection and Collection instance WebSite and WebSite instance Agent and Agent instance WebListing and WebListing instance TimePoint and TimePoint listingSeller WebListing and Agent member WebListing and Collection Object instance Object and WebListing member Object and SellersItemsFn Agent and WebSite temporalPart TimePoint and WhenFn Object equal Object and WebListing member Object and Collection Object member Object and Collection temporalPart TimePoint and WhenFn Object instance Object and WebListing equal SellersOtherItemsFn Agent, WebSite, WebListing and TimePoint and Collection
(=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (agreementEffectiveDuring ?CONST (WhenFn ?GOV)) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV))	Government.kif 761-769	instance Proposition and ConstitutionFn GeopoliticalArea instance GeopoliticalArea and Nation equal Government and GovernmentFn GeopoliticalArea agreementEffectiveDuring Proposition and WhenFn Government subProposition Proposition and Proposition containsInformation Formula and Proposition holdsObligation Formula and Government
(=> (and (instance ?Compression DataCompression) (dataProcessed ?Compression ?Data) (holdsDuring (ImmediatePastFn (WhenFn ?Compression)) (memorySize ?Data (MeasureFn ?Memory ?Measure))) (holdsDuring (ImmediateFutureFn (WhenFn ?Compression)) (memorySize ?Data (MeasureFn ?NewMemory ?Measure)))) (lessThan ?NewMemory ?Memory))	QoSontology.kif 1932-1946	instance ComputerProcess and DataCompression dataProcessed ComputerProcess and DigitalData holdsDuring ImmediatePastFn WhenFn ComputerProcess and memorySize DigitalData and MeasureFn Quantity and entity holdsDuring ImmediateFutureFn WhenFn ComputerProcess and memorySize DigitalData and MeasureFn Quantity and entity lessThan Quantity and Quantity
(=> (and (instance ?D DeletingAnAccount) (instance ?AC Account) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (hasAccount ?A ?AC)) (patient ?D ?AC) (agent ?D ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?D)) (not (hasAccount ?A ?AC))))	ComputingBrands.kif 4491-4501	instance Process and DeletingAnAccount instance Entity and Account holdsDuring ImmediatePastFn WhenFn Process and hasAccount Agent and Entity patient Process and Entity agent Process and Agent holdsDuring ImmediateFutureFn WhenFn Process and hasAccount Agent and Entity
(=> (and (instance ?D Dodging) (agent ?D ?A) (equal ?DT (WhenFn ?D))) (hasPurpose ?D (not (exists (?I) (and (or (meetsTemporally ?DT (WhenFn ?I)) (overlapsTemporally ?DT (WhenFn ?I))) (instance ?I Impacting) (patient ?I ?A))))))	Mid-level-ontology.kif 609-622	instance Process and Dodging agent Process and Agent equal ProcessT and WhenFn Process hasPurpose Process and entity meetsTemporally ProcessT and WhenFn entity overlapsTemporally ProcessT and WhenFn entity instance entity and Impacting patient entity and Agent
(=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (lessThan ?Y ?X))	Geography.kif 6354-6368	instance Process and Deposition patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and measure Entity and MeasureFn Quantity and Joule holdsDuring ImmediateFutureFn WhenFn Process and measure Entity and MeasureFn Quantity and Joule lessThan Quantity and Quantity
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (exists (?LEARN) (and (instance ?LEARN Learning) (subProcess ?LEARN ?DISCOVER) (patient ?LEARN (located ?OBJ ?PLACE)))))	Merge.kif 11137-11146	instance Process and Discovering patient Process and Entity holdsDuring WhenFn Process and located Entity and entity Process instance Process and Learning subProcess Process and Process patient Process and located Entity and entity
(=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) ?Balance1) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) ?Balance2))	FinancialOntology.kif 428-436	instance FinancialTransaction and Deposit instance FinancialAccount and FinancialAccount destination FinancialTransaction and CurrencyFn FinancialAccount transactionAmount FinancialTransaction and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediatePastFn WhenFn FinancialTransaction and CurrencyMeasure equal CurrencyMeasure and AdditionFn CurrencyMeasure and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediateFutureFn FutureFn FinancialTransaction and CurrencyMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2))))	Merge.kif 11520-11527	instance Process and Combining resource Process and Object result Process and Entity holdsDuring BeginFn WhenFn Process and part Object and Entity holdsDuring EndFn WhenFn Process and part Object and Entity
(<=> (and (time ?PHYS ?TIME) (instance ?TIME TimePoint)) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))))	Merge.kif 7721-7725	time Physical and TimePoint instance TimePoint and TimePoint temporallyBetweenOrEqual BeginFn WhenFn Physical, TimePoint and EndFn WhenFn Physical
(<=> (cooccur ?PHYS1 ?PHYS2) (equal (WhenFn ?PHYS1) (WhenFn ?PHYS2)))	Merge.kif 7828-7830	cooccur Physical and Physical equal WhenFn Physical and WhenFn Physical
(<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 104-117	equal BirthsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and Quantity and RealNumber
(<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 138-151	equal DeathsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and Quantity and RealNumber
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 253-277	equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and 1000 and Quantity equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and Quantity and RealNumber
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 411-442	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 323-353	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 367-398	equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 Agent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 28381-28394	holdsDuring TimeInterval and attribute Entity and Alone Entity Process equal Entity and Entity instance Entity and Agent instance Process and SocialInteraction during WhenFn Process and TimeInterval involvedInEvent Process and Entity involvedInEvent Process and Entity
(<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P)))))	Mid-level-ontology.kif 28427-28435	holdsDuring TimeInterval and attribute Agent and Mute Process instance Process and Speaking during WhenFn Process and TimeInterval agent Process and Agent
(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS)))))))	Merge.kif 11837-11844	instance Process and Creation Physical patient Process and Physical time Physical and EndFn WhenFn Process time Physical and BeginFn WhenFn Process
(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (BeginFn (WhenFn ?PROCESS))) (not (time ?PATIENT (EndFn (WhenFn ?PROCESS)))))))	Merge.kif 11385-11392	instance Process and Destruction Physical patient Process and Physical time Physical and BeginFn WhenFn Process time Physical and EndFn WhenFn Process
(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student)))))	Mid-level-ontology.kif 14409-14418	almaMater Human and PostSecondarySchool Process instance Process and EducationalProcess destination Process and Human eventLocated Process and PostSecondarySchool holdsDuring WhenFn Process and attribute Human and Student
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 18417-18424	actedIn Human and ContentBearingPhysical instance Process and DramaticActing patient Process and Human result Process and ContentBearingPhysical holdsDuring WhenFn Process and attribute Human and Actor
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 16510-16516	agent Process and Agent result Process and Entity instance Entity and ArtWork holdsDuring WhenFn Process and attribute Agent and Artist
(=> (and (attribute ?AC TwoFactorAuthentication) (loggedInDuring ?A ?AC ?T)) (exists (?TF) (and (instance ?TF TwoFactorLoggingIn) (agent ?TF ?A) (accountUsed ?TF ?AC) (earlier (WhenFn ?TF) ?T))))	ComputingBrands.kif 4298-4307	attribute UserAccount and TwoFactorAuthentication loggedInDuring Agent, UserAccount and TimeInterval TimeIntervalF instance TimeIntervalF and TwoFactorLoggingIn agent TimeIntervalF and Agent accountUsed TimeIntervalF and UserAccount earlier WhenFn TimeIntervalF and TimeInterval
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T ?C) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 193-210	attribute Agent and Muslim equal WealthFn Agent and CurrencyMeasure modalAttribute entity entity instance entity and Zakat instance entity and Year during entity and WhenFn Agent holdsDuring entity and attribute Agent and FullyFormed agent entity and Agent patient entity and entity monetaryValue entity and entity greaterThan entity and MultiplicationFn CurrencyMeasure and 0.025 and Obligation
(=> (and (attribute ?MR CoverRecording) (instance ?MR MusicRecording) (songArtist ?MR ?A) (musicInterpretation ?MR ?M) (record ?MR ?MM)) (exists (?ORIG ?ARTIST ?MUSIC) (and (musicInterpretation ?ORIG ?M) (songArtist ?ORIG ?ARTIST) (not (equal ?A ?ARTIST)) (record ?ORIG ?MUSIC) (before (WhenFn ?MUSIC) (WhenFn ?MM)))))	Music.kif 454-467	attribute MusicRecording and CoverRecording instance MusicRecording and MusicRecording songArtist MusicRecording and CognitiveAgent musicInterpretation MusicRecording and Music record MusicRecording and MusicM MusicRecording CognitiveAgentRTIST and MusicUSIC musicInterpretation MusicRecording and Music songArtist MusicRecording and CognitiveAgentRTIST equal CognitiveAgent and CognitiveAgentRTIST record MusicRecording and MusicUSIC before WhenFn MusicUSIC and WhenFn MusicM
(=> (and (attribute ?Order FOKOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2802-2818	attribute Agreement and FOKOrder agreementPeriod Agreement and TimeInterval Process TimeInterval instance Process and FillingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval Process TimeInterval instance Process and CancellingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval
(=> (and (attribute ?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 2838-2854	attribute Agreement and GTCOrder agreementPeriod Agreement and TimeInterval Process instance Process and FillingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval overlapsTemporally TimeInterval and TimeInterval Process instance Process and CancellingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval finishes TimeInterval and TimeInterval
(=> (and (attribute ?Order IOCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2775-2791	attribute Agreement and IOCOrder agreementPeriod Agreement and TimeInterval Process TimeInterval instance Process and FillingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval Process TimeInterval instance Process and CancellingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (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 1945-1963	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Buying and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and CurrencyMeasure askPrice Security, CurrencyMeasure and Agent lessThanOrEqualTo CurrencyMeasure and CurrencyMeasure holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally Agent and SymbolicStringingTime and Agreement
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (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 1965-1983	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Selling and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and CurrencyMeasure bidPrice Security, CurrencyMeasure and Agent greaterThanOrEqualTo CurrencyMeasure and CurrencyMeasure holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally SymbolicStringingTime and Agent and Agreement
(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	Dining.kif 1154-1171	attribute Object and CommunalAttribute instance Object and Table instance Process and Eating agent Process and Agent instance Agent and GroupOfPeople eventLocated Process and Object modalAttribute entity entity instance entity and Eating agent entity and entity equal Agent and entity instance entity and GroupOfPeople eventLocated entity and Object meetsTemporally WhenFn Process and WhenFn entity equal Object and Object and Possibility

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth))))))	Media.kif 1972-1980	TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn JesusOfNazareth starts TimeInterval and WhenFn TwelveApostles entity holdsDuring TimeInterval and member entity and TwelveApostles holdsDuring TimeInterval and friend entity and JesusOfNazareth
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine))	Media.kif 1922-1922	holdsDuring WhenFn JesusOfNazareth and located JesusOfNazareth and Palestine

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: