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
ImmediateFutureFn
Sigma KEE - ImmediateFutureFn
ImmediateFutureFn
appearance as argument number 1
(
documentation
ImmediateFutureFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧随这个
TimePosition
的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2745-2746
(
documentation
ImmediateFutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately follows the
TimePosition
.")
Merge.kif 8433-8435
(
domain
ImmediateFutureFn
1
TimePosition
)
Merge.kif 8430-8430
domain
ImmediateFutureFn
, 1 and
TimePosition
(
instance
ImmediateFutureFn
TemporalRelation
)
Merge.kif 8427-8427
instance
ImmediateFutureFn
and
TemporalRelation
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8429-8429
instance
ImmediateFutureFn
and
TotalValuedRelation
(
instance
ImmediateFutureFn
UnaryFunction
)
Merge.kif 8428-8428
instance
ImmediateFutureFn
and
UnaryFunction
(
range
ImmediateFutureFn
TimeInterval
)
Merge.kif 8431-8431
range
ImmediateFutureFn
and
TimeInterval
appearance as argument number 2
(
format
ChineseLanguage
ImmediateFutureFn
"紧接 %1 after")
chinese_format.kif 463-463
(
format
EnglishLanguage
ImmediateFutureFn
"immediately after %1")
english_format.kif 469-469
(
termFormat
ChineseLanguage
ImmediateFutureFn
"眼前的未来")
domainEnglishFormat.kif 29340-29340
(
termFormat
ChineseLanguage
ImmediateFutureFn
"紧接未来函数")
chinese_format.kif 464-464
(
termFormat
ChineseTraditionalLanguage
ImmediateFutureFn
"眼前的未來")
domainEnglishFormat.kif 29339-29339
(
termFormat
EnglishLanguage
ImmediateFutureFn
"immediate future")
domainEnglishFormat.kif 29338-29338
antecedent
(=>
(
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 3197-3211
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
(
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 9407-9429
instance
Object
and
Antacid
instance
Motion
and
Ingesting
agent
Motion
and
Agent
moves
Motion
and
Object
instance
Object
and
Stomach
part
Object
and
Agent
holdsDuring
ImmediatePastFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
holdsDuring
ImmediateFutureFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(=>
(
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 9468-9490
instance
Object
and
ProtonPumpInhibitor
instance
Motion
and
Ingesting
agent
Motion
and
Agent
moves
Motion
and
Object
instance
Object
and
Stomach
part
Object
and
Agent
holdsDuring
ImmediatePastFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
holdsDuring
ImmediateFutureFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(=>
(
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 1931-1945
instance
ComputerProcess
and
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
holdsDuring
ImmediatePastFn
WhenFn
ComputerProcess
and
memorySize
DigitalData
and
MeasureFn
RealNumber
and
entity
holdsDuring
ImmediateFutureFn
WhenFn
ComputerProcess
and
memorySize
DigitalData
and
MeasureFn
RealNumber
and
entity
lessThan
RealNumber
and
RealNumber
(=>
(
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 6704-6718
instance
Process
and
Deposition
patient
Process
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Joule
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Joule
lessThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
instance
Process
and
Motion
instance
Process
and
Tremor
instance
Object
and
Damper
patient
Process
and
Object
part
Object
and
Object
causes
Process
and
Process
instance
Entity
and
UnitOfLength
holdsDuring
WhenFn
Process
and
physicalAmplitude
Process
and
MeasureFn
RealNumber
and
Entity
holdsDuring
ImmediateFutureFn
Process
and
physicalAmplitude
Process
and
MeasureFn
RealNumber
and
Entity
greaterThan
RealNumber
and
RealNumber
(=>
(
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 1289-1312
instance
Object
and
Lever
instance
Process
and
Pushing
instance
Physical
and
Motion
instance
UnitOfMeasure
and
UnitOfLength
destination
Process
and
Object
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
equal
Object
and
Object
holdsDuring
ImmediatePastFn
WhenFn
Physical
and
located
Object
and
Process
holdsDuring
ImmediateFutureFn
WhenFn
Physical
and
located
Object
and
Process
holdsDuring
ImmediatePastFn
WhenFn
Physical
and
located
Object
and
Process
holdsDuring
ImmediateFutureFn
WhenFn
Physical
and
located
Object
and
Process
distance
Process
,
Process
and
MeasureFn
RealNumber
and
UnitOfMeasure
distance
Process
,
Process
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3935-3949
instance
Process
and
LoggingIn
hasAccount
Agent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
equal
TimeInterval
and
ImmediateFutureFn
WhenFn
Process
agent
Process
and
Agent
modalAttribute
holdsDuring
TimeInterval
and
entity
instance
entity
and
ComputerProcess
agent
entity
and
Agent
patient
entity
and
WebSite
and
Possibility
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3951-3965
instance
Process
and
LoggingIn
hasAccount
Agent
and
UserAccount
deviceAccount
UserAccount
and
Computer
equal
TimeInterval
and
ImmediateFutureFn
WhenFn
Process
agent
Process
and
Agent
modalAttribute
holdsDuring
TimeInterval
and
entity
instance
entity
and
ComputerProcess
agent
entity
and
Agent
instrument
entity
and
Computer
and
Possibility
(=>
(
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 10063-10078
instance
Process
and
MuscleRelaxing
patient
Process
and
Entity
instance
Entity
and
Muscle
holdsDuring
ImmediatePastFn
WhenFn
Process
and
length
Entity
and
MeasureFn
RealNumber
and
entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
length
Entity
and
MeasureFn
RealNumber
and
entity
greaterThan
RealNumber
and
RealNumber
(=>
(
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 10041-10056
instance
Process
and
MuscularContraction
patient
Process
and
Entity
instance
Entity
and
Muscle
holdsDuring
ImmediatePastFn
WhenFn
Process
and
length
Entity
and
MeasureFn
RealNumber
and
entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
length
Entity
and
MeasureFn
RealNumber
and
entity
greaterThan
RealNumber
and
RealNumber
(=>
(
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
instance
Entity
and
SelfConnectedObject
instance
Process
and
Compressing
patient
Process
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Entity
instance
Entity
and
UnitOfVolume
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Entity
greaterThan
RealNumber
and
RealNumber
(=>
(
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 6756-6770
instance
Process
and
Sublimation
patient
Process
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Joule
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Joule
greaterThan
RealNumber
and
RealNumber
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 724-739
agreementRevisionDate
Proposition
,
TimePosition
and
Proposition
TimePosition
instance
TimePosition
and
TimePosition
holdsDuring
ImmediatePastFn
TimePosition
and
subProposition
Proposition
and
Proposition
holdsDuring
ImmediateFutureFn
TimePosition
and
subProposition
Proposition
and
Proposition
holdsDuring
ImmediatePastFn
TimePosition
and
subProposition
Proposition
and
Proposition
holdsDuring
ImmediateFutureFn
TimePosition
and
subProposition
Proposition
and
Proposition
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 700-705
agreementEffectiveDate
Agreement
and
TimePoint
confersObligation
Formula
,
Agreement
and
CognitiveAgent
instance
TimePosition
and
TimePoint
holdsDuring
ImmediateFutureFn
TimePosition
and
holdsObligation
Formula
and
CognitiveAgent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 707-712
agreementEffectiveDate
Agreement
and
TimePoint
confersRight
Formula
,
Agreement
and
CognitiveAgent
instance
TimePosition
and
TimePoint
holdsDuring
ImmediateFutureFn
TimePosition
and
holdsRight
Formula
and
CognitiveAgent
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 999-1012
instance
Process
and
Appointing
patient
Process
and
Entity
entity
entity
holdsDuring
BeginFn
WhenFn
Process
and
occupiesPosition
Entity
,
entity
and
entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
occupiesPosition
Entity
,
entity
and
entity
(=>
(
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 4445-4454
instance
Process
and
ActivatingADeactivatedAccount
instance
Entity
and
UserAccount
patient
Process
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
attribute
Entity
and
AccountDeactivated
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
attribute
Entity
and
AccountActive
(=>
(
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
instance
Process
and
Braking
patient
Process
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
equal
MeasureFn
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
equal
MeasureFn
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29146-29153
instance
Process
and
Covering
patient
Process
and
Entity
instrument
Process
and
Object
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
covers
Object
and
Entity
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4086-4098
instance
Process
and
ChangingAccountInfo
agent
Process
and
Agent
hasAccount
Agent
and
UserAccount
accountInformation
UserAccount
and
Proposition
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
equal
entity
and
Proposition
accountInformation
UserAccount
and
entity
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4042-4055
instance
Process
and
ChangingPassword
agent
Process
and
Agent
hasAccount
Agent
and
UserAccount
password
ComputerPassword
and
UserAccount
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
instance
entity
and
ComputerPassword
equal
entity
and
ComputerPassword
password
entity
and
UserAccount
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4064-4077
instance
Process
and
ChangingUserName
agent
Process
and
Agent
hasAccount
Agent
and
UserAccount
userName
UserAccount
and
UserName
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
instance
entity
and
UserName
equal
entity
and
UserName
userName
UserAccount
and
entity
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4106-4116
instance
Process
and
CreatingAnAccount
agent
Process
and
Agent
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
entity
and
entity
hasAccount
Agent
and
entity
password
entity
and
entity
userName
entity
and
entity
(=>
(
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
instance
Process
and
ClosingAnAccount
patient
Process
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
instance
Entity
and
FinancialAccount
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
instance
Entity
and
FinancialAccount
(=>
(
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 4529-4539
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
?DAM
Damaging
)
(
instance
?OBJ
Device
)
(
patient
?DAM ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DAM))
(
attribute
?OBJ
DeviceDamaged
)))
Mid-level-ontology.kif 29457-29465
instance
Process
and
Damaging
instance
Entity
and
Device
patient
Process
and
Entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
attribute
Entity
and
DeviceDamaged
(=>
(
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 4461-4470
instance
Process
and
DeactivatingAnAccount
instance
Entity
and
UserAccount
patient
Process
and
Entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
attribute
Entity
and
AccountDeactivated
holdsDuring
ImmediatePastFn
WhenFn
Process
and
attribute
Entity
and
AccountActive
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM)
(
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 10130-10145
instance
Process
and
Death
instance
Agent
and
Organism
experiencer
Process
and
Agent
Entity
result
Process
and
Entity
instance
Entity
and
OrganicObject
holdsDuring
FutureFn
WhenFn
Process
and
attribute
Entity
and
Dead
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
part
entity
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
part
entity
and
Agent
(=>
(
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
instance
FinancialTransaction
and
Deposit
instance
FinancialAccount
and
FinancialAccount
destination
FinancialTransaction
and
CurrencyFn
FinancialAccount
transactionAmount
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
currentAccountBalance
FinancialAccount
,
ImmediatePastFn
WhenFn
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
equal
RealNumber
and
AdditionFn
RealNumber
and
RealNumber
currentAccountBalance
FinancialAccount
,
ImmediateFutureFn
FutureFn
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
instance
Process
and
Evacuation
agent
Process
and
Agent
instance
Agent
and
MilitaryOrganization
experiencer
Process
and
Agent
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
attribute
Agent
and
Evacuee
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 938-951
instance
Object
and
Faucet
instance
Process
and
LiquidMotion
patient
Process
and
Entity
located
Process
and
Object
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
instance
entity
and
Tube
entity
は
Entity
を
contain
s %n{ない}
(=>
(
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 4414-4424
instance
Process
and
Forgetting
experiencer
Process
and
Agent
entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
knows
Agent
and
entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
knows
Agent
and
entity
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 24425-24446
instance
TelecomNumber
and
Hotline
telephoneNumber
TelecomNumber
and
Agent
instance
Agent
and
Organization
hasPurpose
TelecomNumber
and
entity
instance
entity
and
Telephoning
destination
entity
and
Agent
modalAttribute
entity
instance
entity
and
Communication
instrument
entity
and
TelecomNumber
equal
BeginFn
WhenFn
entity
and
BeginFn
ImmediateFutureFn
WhenFn
entity
and
Likely
(=>
(
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 5608-5615
instance
Process
and
Irrigating
patient
Process
and
Entity
instance
Entity
and
LandArea
holdsDuring
ImmediatePastFn
WhenFn
Process
and
attribute
Entity
and
Dry
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
attribute
Entity
and
Damp
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10508-10517
instance
Process
and
Hiring
instance
Agent
and
Organization
agent
Process
and
Agent
patient
Process
and
Entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
employs
Agent
and
Entity
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P)
(
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 1401-1419
instance
Process
and
MovingAwayFromPeople
agent
Process
and
Agent
Entity
instance
Entity
and
Human
instance
Entity
and
UnitOfLength
holdsDuring
ImmediatePastFn
WhenFn
Process
and
distance
Process
,
Agent
and
MeasureFn
RealNumber
and
Entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
distance
Process
,
Agent
and
MeasureFn
RealNumber
and
Entity
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P)
(
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 1435-1453
instance
Process
and
MovingTowardsPeople
agent
Process
and
Agent
Entity
instance
Entity
and
Human
instance
Entity
and
UnitOfLength
holdsDuring
ImmediatePastFn
WhenFn
Process
and
distance
Process
,
Agent
and
MeasureFn
RealNumber
and
Entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
distance
Process
,
Agent
and
MeasureFn
RealNumber
and
Entity
greaterThan
RealNumber
and
RealNumber
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
ImmediateFutureFn
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
))
Government.kif 2750-2750
holdsDuring
ImmediateFutureFn
YearFn
1996 and
conventionalLongName
"Agency for the French-Speaking Community" and
AgencyForTheFrenchSpeakingCommunity
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2771-2774
holdsDuring
ImmediateFutureFn
TimePosition
and
instance
TimePosition
and
DayFn
1 and
MonthFn
October
and
YearFn
1992
conventionalLongName
"Andean Community of Nations" and
AndeanCommunityOfNations
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