Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ImmediatePastFn
Sigma KEE - ImmediatePastFn
ImmediatePastFn
appearance as argument number 1
(
documentation
ImmediatePastFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧接这个
TimePosition
之前的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2741-2742
(
documentation
ImmediatePastFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately precedes the
TimePosition
.")
Merge.kif 8465-8467
(
domain
ImmediatePastFn
1
TimePosition
)
Merge.kif 8462-8462
(
instance
ImmediatePastFn
TemporalRelation
)
Merge.kif 8459-8459
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8461-8461
(
instance
ImmediatePastFn
UnaryFunction
)
Merge.kif 8460-8460
(
range
ImmediatePastFn
TimeInterval
)
Merge.kif 8463-8463
appearance as argument number 2
(
format
ChineseLanguage
ImmediatePastFn
"紧接 %1
before
")
chinese_format.kif 459-459
(
format
EnglishLanguage
ImmediatePastFn
"immediately
before
%1")
english_format.kif 465-465
(
termFormat
ChineseLanguage
ImmediatePastFn
"不久的过去")
domainEnglishFormat.kif 29347-29347
(
termFormat
ChineseLanguage
ImmediatePastFn
"紧接过去函数")
chinese_format.kif 460-460
(
termFormat
ChineseTraditionalLanguage
ImmediatePastFn
"不久的過去")
domainEnglishFormat.kif 29346-29346
(
termFormat
EnglishLanguage
ImmediatePastFn
"immediate past")
domainEnglishFormat.kif 29345-29345
antecedent
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9768-9790
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9829-9851
(=>
(
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 1926-1940
(=>
(
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 4564-4574
(=>
(
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 6716-6730
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1299-1322
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10424-10439
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10402-10417
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 6768-6782
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
consequent
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4480-4489
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18461-18477
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6016-6035
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6082-6100
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
(=>
(
and
(
instance
?Closing
ClosingAnAccount
)
(
patient
?Closing ?Account))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Closing))
(
instance
?Account
FinancialAccount
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Closing))
(
not
(
instance
?Account
FinancialAccount
)))))
FinancialOntology.kif 391-401
(=>
(
and
(
instance
?DEACT
DeactivatingAnAccount
)
(
instance
?AC
UserAccount
)
(
patient
?DEACT ?AC))
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4496-4505
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10174-10189
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4449-4459
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18403-18421
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5619-5626
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5739-5758
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7808-7822
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
subProposition
?X
Archeology
)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 20929-20958
(=>
(
and
(
status
?Process
ProcessFailure
)
(
hasPurpose
?Process ?Purpose))
(
not
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Process)) ?Purpose)))
QoSontology.kif 802-809
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 3977-3987
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 3999-4008
(=>
(
instance
?BA
BleedingAir
)
(
hasPurpose
?BA
(
exists
(?FC ?A)
(
and
(
instance
?FC
FluidContainer
)
(
instance
?A
Air
)
(
holdsDuring
(
ImmediatePastFn
?BA)
(
contains
?FC ?A))
(
holdsDuring
(
ImmediateFutureFn
?BA)
(
not
(
contains
?FC ?A)))))))
Cars.kif 1519-1529
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4641-4649
(=>
(
instance
?C
Clotting
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
attribute
?B
Liquid
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
attribute
?B
Solid
)))))
Mid-level-ontology.kif 10367-10379
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4261-4280
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners