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
earlier
Sigma KEE - earlier
earlier
appearance as argument number 1
(
documentation
earlier
ChineseLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2)的意思是
TimeInterval
?INTERVAL1 在
TimeInterval
?INTERVAL2 开始前结束。")
chinese_format.kif 2724-2725
(
documentation
earlier
EnglishLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2) means that the
TimeInterval
?INTERVAL1 ends before the
TimeInterval
?INTERVAL2 begins.")
Merge.kif 8339-8341
(
domain
earlier
1
TimeInterval
)
Merge.kif 8336-8336
domain
earlier
, 1 and
TimeInterval
(
domain
earlier
2
TimeInterval
)
Merge.kif 8337-8337
domain
earlier
, 2 and
TimeInterval
(
instance
earlier
BinaryPredicate
)
Merge.kif 8331-8331
instance
earlier
and
BinaryPredicate
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8334-8334
instance
earlier
and
IrreflexiveRelation
(
instance
earlier
TemporalRelation
)
Merge.kif 8332-8332
instance
earlier
and
TemporalRelation
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8335-8335
instance
earlier
and
TotalValuedRelation
(
instance
earlier
TransitiveRelation
)
Merge.kif 8333-8333
instance
earlier
and
TransitiveRelation
appearance as argument number 2
(
format
ChineseLanguage
earlier
"%1 %n{doesn't} 比%2发生的
earlier
")
chinese_format.kif 437-437
(
format
EnglishLanguage
earlier
"%1 %n{doesn't} happen%p{s}
earlier
than %2")
english_format.kif 443-443
(
relatedInternalConcept
before
earlier
)
Merge.kif 8067-8067
relatedInternalConcept
before
and
earlier
(
termFormat
ChineseLanguage
earlier
"早期")
domainEnglishFormat.kif 20776-20776
(
termFormat
ChineseLanguage
earlier
"更早")
chinese_format.kif 438-438
(
termFormat
ChineseTraditionalLanguage
earlier
"早期")
domainEnglishFormat.kif 20775-20775
(
termFormat
EnglishLanguage
earlier
"earlier")
domainEnglishFormat.kif 20774-20774
antecedent
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
RealNumber
greaterThan
RealNumber
and 0
instance
TimeInterval
and
Tremor
patient
TimeInterval
and
PhysicalSystem
instance
Entity
and
UnitOfLength
holdsDuring
TimeInterval
and
physicalAmplitude
TimeInterval
and
MeasureFn
RealNumber
and
Entity
holdsDuring
TimeInterval
and
physicalAmplitude
TimeInterval
and
MeasureFn
RealNumber
and
Entity
during
TimeInterval
and
TimeInterval
during
TimeInterval
and
TimeInterval
earlier
TimeInterval
and
TimeInterval
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8246-8253
earlier
TimeInterval
and
TimeInterval
instance
TimePoint
and
TimePoint
instance
TimePoint
and
TimePoint
temporalPart
TimePoint
and
TimeInterval
temporalPart
TimePoint
and
TimeInterval
before
TimePoint
and
TimePoint
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
governmentType
AutonomousAgent
and
Monarchy
instance
Organism
and
Human
instance
Organism
and
Human
holdsDuring
TimeInterval
and
chiefOfState
AutonomousAgent
,
entity
and
Organism
familyRelation
Organism
and
Organism
earlier
TimeInterval
and
TimeInterval
modalAttribute
holdsDuring
TimeInterval
and
chiefOfState
AutonomousAgent
,
entity
and
Organism
and
Possibility
(=>
(
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 523-532
holdsDuring
TimeInterval
and
desires
AutonomousAgent
and
attribute
Entity
and
Dead
instance
AutonomousAgent
URDER and
Murder
agent
AutonomousAgent
URDER and
AutonomousAgent
patient
AutonomousAgent
URDER and
Entity
earlier
TimeInterval
and
WhenFn
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
VolumeMeasure
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 9984-10007
instance
Object
and
Antidiuretic
instance
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
moves
Motion
and
Object
instance
TimeInterval
and
Urination
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
instance
TimeInterval
and
Urination
equal
TimeInterval
and
TimeInterval
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
earlier
TimeInterval
and
Motion
earlier
Motion
and
TimeInterval
instance
UnitOfMeasure
and
VolumeMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
modalAttribute
greaterThan
RealNumber
and
RealNumber
and
Likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
VolumeMeasure
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 9954-9975
instance
Object
and
Diuretic
instance
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
moves
Motion
and
Object
instance
TimeInterval
and
Urination
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
instance
TimeInterval
and
Urination
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
earlier
TimeInterval
and
Motion
earlier
Motion
and
TimeInterval
instance
UnitOfMeasure
and
VolumeMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
modalAttribute
greaterThan
RealNumber
and
RealNumber
and
Likely
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 83-92
instance
Process
and
Death
instance
Entity
and
OrganismRemains
instance
AutonomousAgent
and
Organism
holdsDuring
TimeInterval
and
part
entity
and
Entity
holdsDuring
TimeInterval
and
part
entity
and
AutonomousAgent
earlier
TimeInterval
and
TimeInterval
experiencer
Process
and
AutonomousAgent
result
Process
and
Entity
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 72-81
instance
Process
and
Death
instance
Entity
and
OrganismRemains
instance
AutonomousAgent
and
Organism
holdsDuring
TimeInterval
and
part
entity
and
Entity
holdsDuring
TimeInterval
and
part
entity
and
AutonomousAgent
earlier
TimeInterval
and
TimeInterval
result
Process
and
Entity
experiencer
Process
and
AutonomousAgent
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
instance
AutonomousAgent
and
Man
attribute
AutonomousAgent
and
Mausaharati
instance
Process
and
Drumming
agent
Process
and
AutonomousAgent
instance
Process
AY and
Day
instance
TimeInterval
and
Sunrise
during
TimeInterval
and
Process
AY
earlier
WhenFn
Process
and
TimeInterval
hasPurpose
Process
and
entity
TimeInterval
UHUR and
entity
instance
entity
and
WakingUp
experiencer
entity
and
entity
instance
TimeInterval
UHUR and
Suhur
agent
TimeInterval
UHUR and
entity
earlier
WhenFn
entity
and
WhenFn
TimeInterval
UHUR
during
WhenFn
entity
and
Process
AY
during
WhenFn
TimeInterval
UHUR and
Process
AY
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9703-9724
instance
Transfer
and
Ingesting
experiencer
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
instance
Object
and
MoodStabilizer
instance
Process
and
Process
C
involvedInEvent
Process
and
AutonomousAgent
holdsDuring
WhenFn
Process
and
attribute
AutonomousAgent
and
Process
S
instance
Process
S and
EmotionalState
instance
Process
and
Process
C
involvedInEvent
Process
and
AutonomousAgent
earlier
WhenFn
Process
and
WhenFn
Transfer
modalAttribute
holdsDuring
Process
and
attribute
AutonomousAgent
and
Process
S and
Unlikely
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8343-8345
earlier
TimeInterval
and
TimeInterval
before
EndFn
TimeInterval
and
BeginFn
TimeInterval
consequent
(=>
(
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 4371-4380
attribute
UserAccount
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
UserAccount
and
TimeInterval
TimeInterval
F
instance
TimeInterval
F and
TwoFactorLoggingIn
agent
TimeInterval
F and
AutonomousAgent
accountUsed
TimeInterval
F and
UserAccount
earlier
WhenFn
TimeInterval
F and
TimeInterval
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
commemoratesDate
Holiday
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
instance
TimeInterval
and
Holiday
instance
TimeInterval
and
YearFn
Integer
earlier
TimeInterval
and
TimeInterval
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3751-3761
firstTimeBuyers
TimeInterval
,
WebSite
and
Collection
member
AutonomousAgent
and
Collection
FinancialTransaction
instance
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
eCommerceSite
FinancialTransaction
and
WebSite
earlier
WhenFn
FinancialTransaction
and
TimeInterval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3799-3809
firstTimeSellers
TimeInterval
,
WebSite
and
Collection
member
AutonomousAgent
and
Collection
FinancialTransaction
instance
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
AutonomousAgent
eCommerceSite
FinancialTransaction
and
WebSite
earlier
WhenFn
FinancialTransaction
and
TimeInterval
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
holdsDuring
TimeInterval
and
attribute
entity
and
DislocatedCivilian
inhabits
entity
and
entity
located
entity
and
GeographicArea
instance
GeographicArea
and
GeographicArea
instance
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
instance
TimeInterval
and
TimeInterval
earlier
TimeInterval
and
TimeInterval
instance
entity
-RES and
Object
instance
entity
-PLACE and
GeopoliticalArea
located
entity
-RES and
entity
-PLACE
equal
GeographicArea
and
entity
-PLACE
equal
entity
and
entity
-RES
geographicSubregion
GeographicArea
and
entity
-PLACE
geographicSubregion
entity
-PLACE and
GeographicArea
holdsDuring
TimeInterval
and
inhabits
entity
and
entity
-RES
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Evacuee
instance
TimeInterval
and
TimeInterval
Process
AutonomousAgent
instance
Process
and
Evacuation
agent
Process
and
AutonomousAgent
instance
AutonomousAgent
and
MilitaryOrganization
experiencer
Process
and
AutonomousAgent
earlier
WhenFn
Process
and
TimeInterval
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
holdsDuring
TimeInterval
and
attribute
entity
and
InternallyDisplacedPerson
instance
TimeInterval
and
TimeInterval
entity
TimeInterval
earlier
TimeInterval
and
TimeInterval
causesProposition
holdsDuring
TimeInterval
and
fears
entity
and
entity
and
holdsDuring
TimeInterval
and
attribute
entity
and
InternallyDisplacedPerson
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7932-7942
holdsDuring
TimeInterval
and
spouse
Entity
and
Entity
instance
TimeInterval
and
TimeInterval
Process
instance
Process
and
Wedding
patient
Process
and
Entity
patient
Process
and
Entity
earlier
WhenFn
Process
and
TimeInterval
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14196-14203
holdsDuring
TimeInterval
and
developmentalForm
entity
and
Attribute
successorAttributeClosure
Attribute
and
Attribute
TimeInterval
earlier
TimeInterval
and
TimeInterval
holdsDuring
TimeInterval
and
developmentalForm
entity
and
Attribute
(=>
(
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
instance
Transfer
and
Bequeathing
agent
Transfer
and
AutonomousAgent
destination
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
instance
Process
and
Death
experiencer
Process
and
AutonomousAgent
earlier
WhenFn
Process
and
WhenFn
Transfer
holdsDuring
ImmediatePastFn
WhenFn
Process
and
possesses
AutonomousAgent
and
AutonomousAgent
ROP
confersNorm
AutonomousAgent
,
possesses
Entity
and
AutonomousAgent
ROP and
Permission
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 23964-23973
instance
Process
and
Birth
origin
Process
and
Object
Entity
TimeInterval
instance
Entity
and
Zygote
earlier
TimeInterval
and
WhenFn
Process
holdsDuring
TimeInterval
and
located
Entity
and
Object
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 777-787
instance
Process
and
Bodybuilding
agent
Process
and
AutonomousAgent
Process
instance
Process
and
Weightlifting
agent
Process
and
AutonomousAgent
earlier
WhenFn
Process
and
WhenFn
Process
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3494-3508
instance
ComputerProcess
and
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
instance
DigitalData
and
DigitalData
agent
ComputerProcess
and
CognitiveAgent
desires
CognitiveAgent
and
entity
earlier
WhenFn
ComputerProcess
and
entity
holdsDuring
entity
and
entity
instance
entity
and
ComputerProcess
capability
entity
,
dataProcessed
and
DigitalData
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29555-29569
instance
TimeInterval
and
Confirming
agent
TimeInterval
and
Agreement
containsInformation
TimeInterval
and
Proposition
TimeInterval
ContentBearingPhysical
and
Agreement
instance
TimeInterval
and
Stating
earlier
TimeInterval
and
TimeInterval
instance
ContentBearingPhysical
and
ReachingAgreement
agent
TimeInterval
and
Agreement
containsInformation
ContentBearingPhysical
and
Proposition
containsInformation
TimeInterval
and
Proposition
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8696-8701
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
greaterThan
PositiveInteger
and
PositiveInteger
earlier
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
WMD.kif 750-758
instance
Process
and
DismantlingWeaponOfMassDestruction
patient
Process
and
Entity
Process
instance
Process
and
DevelopingWeaponOfMassDestruction
result
Process
and
Entity
earlier
WhenFn
Process
and
WhenFn
Process
(=>
(
and
(
instance
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16533-16545
instance
Process
and
Matriculation
agent
Process
and
AutonomousAgent
patient
Process
and
Entity
instance
AutonomousAgent
and
College
Process
AutonomousAgent
instance
Process
and
Graduation
agent
Process
and
AutonomousAgent
patient
Process
and
Entity
instance
AutonomousAgent
and
SecondarySchool
earlier
WhenFn
Process
and
WhenFn
Process
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16514-16526
instance
Process
and
Matriculation
agent
Process
and
AutonomousAgent
patient
Process
and
Entity
instance
AutonomousAgent
and
College
Process
AutonomousAgent
instance
Process
and
Graduation
agent
Process
and
AutonomousAgent
patient
Process
and
Entity
instance
AutonomousAgent
and
HighSchool
earlier
WhenFn
Process
and
WhenFn
Process
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
instance
AutonomousAgent
and
Man
attribute
AutonomousAgent
and
Mausaharati
instance
Process
and
Drumming
agent
Process
and
AutonomousAgent
instance
Process
AY and
Day
instance
TimeInterval
and
Sunrise
during
TimeInterval
and
Process
AY
earlier
WhenFn
Process
and
TimeInterval
hasPurpose
Process
and
entity
TimeInterval
UHUR and
entity
instance
entity
and
WakingUp
experiencer
entity
and
entity
instance
TimeInterval
UHUR and
Suhur
agent
TimeInterval
UHUR and
entity
earlier
WhenFn
entity
and
WhenFn
TimeInterval
UHUR
during
WhenFn
entity
and
Process
AY
during
WhenFn
TimeInterval
UHUR and
Process
AY
(=>
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?OBJ))
(
exists
(?IMPEL)
(
and
(
instance
?IMPEL
Impelling
)
(
patient
?IMPEL ?OBJ)
(
earlier
(
WhenFn
?IMPEL)
(
WhenFn
?IMPACT)))))
Merge.kif 11459-11467
instance
Process
and
Impacting
patient
Process
and
Entity
Process
instance
Process
and
Impelling
patient
Process
and
Entity
earlier
WhenFn
Process
and
WhenFn
Process
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 23463-23476
instance
Confining
and
Imprisoning
detainee
Confining
and
Animal
instance
Animal
and
Human
time
Confining
and
TimeInterval
instance
TimeInterval
and
TimeInterval
PlacingUnderArrest
TimeInterval
instance
TimeInterval
and
TimeInterval
time
PlacingUnderArrest
and
TimeInterval
earlier
TimeInterval
and
TimeInterval
instance
PlacingUnderArrest
and
PlacingUnderArrest
arrested
PlacingUnderArrest
and
Animal
(=>
(
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
instance
Process
and
Inheriting
agent
Process
and
CognitiveAgent
origin
Process
and
AutonomousAgent
patient
Process
and
Entity
Process
instance
Process
and
Death
experiencer
Process
and
AutonomousAgent
earlier
WhenFn
Process
and
WhenFn
Process
holdsDuring
ImmediatePastFn
WhenFn
Process
and
possesses
AutonomousAgent
and
Entity
confersRight
possesses
CognitiveAgent
and
Entity
,
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3582-3614
instance
TimeInterval
and
TimeInterval
instance
WebSite
and
WebSite
Collection
instance
Collection
and
Collection
AutonomousAgent
member
AutonomousAgent
and
Collection
TimeInterval
instance
AutonomousAgent
and
AutonomousAgent
instance
TimeInterval
and
Buying
agent
TimeInterval
and
AutonomousAgent
instrument
TimeInterval
and
WebSite
during
TimeInterval
and
TimeInterval
TimeInterval
_BEFORE
instance
TimeInterval
_BEFORE and
TimeInterval
earlier
TimeInterval
_BEFORE and
TimeInterval
holdsDuring
TimeInterval
_BEFORE and
TimeInterval
_BEFORE
instance
TimeInterval
_BEFORE and
Buying
agent
TimeInterval
_BEFORE and
AutonomousAgent
instrument
TimeInterval
_BEFORE and
WebSite
during
TimeInterval
_BEFORE and
TimeInterval
equal
SiteWideNewBuyersFn
TimeInterval
and
WebSite
and
Collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3634-3661
instance
TimeInterval
and
TimeInterval
instance
WebSite
and
WebSite
Collection
instance
Collection
and
Collection
Physical
instance
Physical
and
Human
TimeInterval
_BEFORE
instance
TimeInterval
_BEFORE and
TimeInterval
earlier
TimeInterval
_BEFORE and
TimeInterval
holdsDuring
TimeInterval
_BEFORE and
registeredUser
Physical
and
WebSite
TimeInterval
_DURING
instance
TimeInterval
_DURING and
TimeInterval
during
TimeInterval
_DURING and
TimeInterval
holdsDuring
TimeInterval
and
registeredUser
Physical
and
WebSite
member
Physical
and
Collection
equal
Collection
and
SiteWideNewRegistrationsFn
TimeInterval
and
WebSite
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3681-3713
instance
TimeInterval
and
TimeInterval
instance
WebSite
and
WebSite
Collection
instance
Collection
and
Collection
AutonomousAgent
member
AutonomousAgent
and
Collection
TimeInterval
instance
AutonomousAgent
and
AutonomousAgent
instance
TimeInterval
and
Selling
agent
TimeInterval
and
AutonomousAgent
instrument
TimeInterval
and
WebSite
during
TimeInterval
and
TimeInterval
TimeInterval
_BEFORE
instance
TimeInterval
_BEFORE and
TimeInterval
earlier
TimeInterval
_BEFORE and
TimeInterval
holdsDuring
TimeInterval
_BEFORE and
TimeInterval
_BEFORE
instance
TimeInterval
_BEFORE and
Selling
agent
TimeInterval
_BEFORE and
AutonomousAgent
instrument
TimeInterval
_BEFORE and
WebSite
during
TimeInterval
_BEFORE and
TimeInterval
equal
SiteWideNewSellersFn
TimeInterval
and
WebSite
and
Collection
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18015-18032
decreasesLikelihood
?X ?CUT, ?PAPER, ?CBO and ?INFO
instance
?X and
PaperShredder
instance
?CUT and
Cutting
instrument
?CUT and ?X
instance
?PAPER and
Paper
patient
?CUT and ?PAPER
located
?CBO and ?PAPER
instance
?CBO and
VisualContentBearingObject
containsInformation
?CBO and ?INFO and ?READ
instance
?READ and
Interpreting
patient
?READ and ?INFO
earlier
WhenFn
?CUT and
WhenFn
?READ
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