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
exists
Sigma KEE - exists
exists
antecedent
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 987-990
ComputerProcess
programRunning
ComputerProcess
and
ComputerProgram
property
ComputerProgram
and
Executable
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
citizen
Human
and
Nation
Object
located
Human
and
Object
located
Human
and
Nation
(=>
(
and
(
customer
?CUST ?AGENT)
(
corkageFee
?AMT ?ITEM ?AGENT)
(
instance
?X ?ITEM)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?X)
(
destination
?B ?CUST)
(
origin
?B ?AGENT))))
(
instance
?D
Drinking
)
(
agent
?D ?CUST)
(
resource
?D ?X))
(
exists
(?C)
(
and
(
instance
?C
Corkage
)
(
agent
?C ?CUST)
(
refers
?C ?X)
(
destination
?C ?AGENT))))
Dining.kif 130-150
customer
CognitiveAgent
and
CognitiveAgent
corkageFee
CurrencyMeasure
,
Object
and
CognitiveAgent
instance
Object
and
Object
Process
instance
Process
and
Buying
patient
Process
and
Object
destination
Process
and
CognitiveAgent
origin
Process
and
CognitiveAgent
instance
Process
and
Drinking
agent
Process
and
CognitiveAgent
resource
Process
and
Object
Process
instance
Process
and
Corkage
agent
Process
and
CognitiveAgent
refers
Process
and
Object
destination
Process
and
CognitiveAgent
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?CUST ?X) ?AGENT ?CUST)
Possibility
))
Dining.kif 332-346
facility
CognitiveAgent
and
Object
customer
CognitiveAgent
and
CognitiveAgent
instance
Entity
and
Object
desires
CognitiveAgent
and
entity
instance
entity
and
IntentionalProcess
patient
entity
and
Entity
agent
entity
and
CognitiveAgent
modalAttribute
confersRight
uses
CognitiveAgent
and
Entity
,
CognitiveAgent
and
CognitiveAgent
and
Possibility
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
instance
PhysicalSystem
and
Automobile
instance
PhysicalSystem
and
Automobile
instance
Object
and
AutomobileShock
part
Object
and
PhysicalSystem
Object
instance
Object
and
AutomobileShock
part
Object
and
PhysicalSystem
dampingRatio
PhysicalSystem
and
RealNumber
dampingRatio
PhysicalSystem
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?AGENT
Agent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 725-748
instance
Agent
and
Agent
potentialCustomer
CognitiveAgent
and
Agent
modalAttribute
instance
entity
and
Reserving
destination
entity
and
Agent
and
Necessity
conditionalProbability
entity
ES1
instance
entity
ES1 and
Reservation
reservingEntity
CognitiveAgent
and
entity
ES1
fulfillingEntity
Agent
and
entity
ES1,
customer
CognitiveAgent
and
Agent
and
RealNumber
conditionalProbability
entity
ES2
instance
entity
ES2 and
Reservation
reservingEntity
CognitiveAgent
and
entity
ES2
fulfillingEntity
Agent
and
entity
ES2,
customer
CognitiveAgent
and
Agent
and
RealNumber
lessThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
RoundShape
))
Mid-level-ontology.kif 4738-4747
instance
Object
and
Bubble
Object
Attribute
attribute
Object
and
Attribute
equal
Object
and
Gas
meetsSpatially
Object
and
Object
attribute
Object
and
RoundShape
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?ITEM ?BUYING))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3447-3467
instance
Collection
and
Collection
instance
RealNumber
and
CurrencyMeasure
instance
Integer
and
RealNumber
equal
RealNumber
and
GMBFn
Collection
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Object
entity
member
entity
and
Collection
patient
SymbolicString
and
entity
equal
ABPFn
Collection
and
DivisionFn
RealNumber
and
Integer
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 540-556
instance
Process
and
CateringService
agent
Process
and
CognitiveAgent
destination
Process
and
Process
UST
located
CognitiveAgent
and
Object
customer
Process
UST and
CognitiveAgent
Process
Entity
and
Process
instance
Process
and
Cooking
agent
Process
and
CognitiveAgent
result
Process
and
Entity
patient
Process
and
Entity
instance
Process
and
Eating
agent
Process
and
Process
UST
eventLocated
Process
and
Entity
equal
Object
and
Entity
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
instance
Object
and
CompoundSubstance
subclass
CompoundSubstance
and
CompoundSubstance
Object
instance
Object
and
CompoundSubstance
part
Object
and
Object
molecularRatio
ElementalSubstance
,
Integer
and
CompoundSubstance
instance
Collection
and
Group
member
Object
and
Collection
part
Object
and
Object
instance
Object
and
ElementalSubstance
memberCount
Collection
and
Integer
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3908-3924
instance
Entity
and
Electromagnet
holdsDuring
TimePosition
and
entity
entity
instance
entity
and
Transfer
instance
entity
and
Electricity
objectTransferred
entity
and
entity
path
entity
and
Entity
holdsDuring
TimePosition
and
entity
instance
entity
and
Magnetism
instrument
entity
and
Entity
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN))
Mid-level-ontology.kif 1373-1391
instance
Device
and
Gun
instance
UnitOfMeasure
and
UnitOfLength
effectiveRange
Device
and
MeasureFn
RealNumber
and
UnitOfMeasure
distance
Device
,
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Object
and
Organism
Object
between
Object
,
Object
and
Device
lessThanOrEqualTo
RealNumber
and
RealNumber
capability
KappaFn
SymbolicString
and
instance
SymbolicString
and
Killing
patient
SymbolicString
and
Object
,
instrument
and
Device
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN))
Mid-level-ontology.kif 1352-1369
instance
Device
and
Gun
instance
UnitOfMeasure
and
UnitOfLength
effectiveRange
Device
and
MeasureFn
RealNumber
and
UnitOfMeasure
distance
Device
,
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
Object
between
Object
,
Object
and
Device
lessThanOrEqualTo
RealNumber
and
RealNumber
capability
KappaFn
SymbolicString
and
instance
SymbolicString
and
Damaging
patient
SymbolicString
and
Object
,
instrument
and
Device
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
Agent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1703-1725
instance
TimeInterval
and
TimeInterval
_CLASS
subclass
TimeInterval
_CLASS and
Process
instance
AccessingWebPage
and
AccessingWebPage
instance
Agent
and
Agent
agent
TimeInterval
and
Agent
agent
AccessingWebPage
and
Agent
during
TimeInterval
and
AccessingWebPage
instance
Physical
and
TimeInterval
TimeInterval
instance
TimeInterval
and
TimeInterval
_CLASS
agent
TimeInterval
and
Agent
during
TimeInterval
and
AccessingWebPage
before
BeginFn
WhenFn
TimeInterval
and
BeginFn
WhenFn
TimeInterval
equal
BeginFn
WhenFn
AccessingWebPage
and
BeginFn
WhenFn
Physical
equal
BeginFn
WhenFn
TimeInterval
and
EndFn
WhenFn
Physical
equal
TTFxFn
TimeInterval
_CLASS and
AccessingWebPage
and
Physical
(=>
(
and
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD)
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
(
instance
?DUD
AbsoluteDud
))
MilitaryDevices.kif 1409-1418
instance
Process
and
TakingOff
patient
Process
and
Entity
Process
instance
Process
and
Explosion
patient
Process
and
Entity
instance
Entity
and
AbsoluteDud
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
Agent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3163-3189
instance
Collection
and
Collection
Physical
member
Physical
and
Collection
instance
Physical
and
Buying
Object
instance
Object
and
GeopoliticalArea
Agent
Process
instance
Agent
and
Agent
instance
Process
and
Buying
member
Process
and
Collection
agent
Process
and
Agent
located
Agent
and
Object
total
KappaFn
SymbolicString
and
instance
entity
and
Buying
member
entity
and
Collection
transactionAmount
entity
and
SymbolicString
and
entity
_PURCHASE_AMOUNT
equal
GMBFn
Collection
and
entity
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
Agent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT)))
UXExperimentalTerms.kif 3206-3232
instance
Collection
and
Collection
Physical
member
Physical
and
Collection
instance
Physical
and
Selling
Object
instance
Object
and
GeopoliticalArea
Agent
Process
instance
Agent
and
Agent
instance
Process
and
Buying
member
Process
and
Collection
agent
Process
and
Agent
located
Agent
and
Object
total
KappaFn
SymbolicString
and
instance
entity
and
Selling
member
entity
and
Collection
transactionAmount
entity
and
SymbolicString
and
entity
_SALE_AMOUNT
equal
GMVFn
Collection
and
entity
_SALE_AMOUNT
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3490-3510
instance
Collection
and
Collection
instance
RealNumber
and
CurrencyMeasure
instance
Integer
and
RealNumber
equal
RealNumber
and
GMVFn
Collection
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Object
entity
member
entity
and
Collection
patient
entity
and
SymbolicString
equal
ASPFn
Collection
and
DivisionFn
RealNumber
and
Integer
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENTING ?EVENT)
(=>
(
and
(
instance
?EXPERIMENTING
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
capability
?EVENT
experiencer
?VISITOR))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
capability
?PROC
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4448-4471
instance
Human
and
Human
instance
Collection
and
Collection
Entity
Process
instance
Entity
and
Experimenting
instance
Process
and
Process
member
Process
and
QualifyingEventsFn
Experimenting
capability
Process
,
experiencer
and
Human
member
Process
and
Collection
member
Process
and
Collection
instance
Process
and
Process
Experimenting
instance
Experimenting
and
Experimenting
member
Process
and
QualifyingEventsFn
Experimenting
capability
Process
,
experiencer
and
Human
equal
QualifiedTreatmentsFn
Human
and
Collection
(=>
(
and
(
instance
?X
Pasta
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Pasta
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 600-608
instance
Object
and
Pasta
Object
instance
Object
and
Pasta
part
Object
and
Object
attribute
Object
and
LongAndThin
(=>
(
and
(
instance
?X
Penne
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Penne
)
(
part
?Y ?X)))))
(
and
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
Hole
)
(
part
?X ?HOLE2)))
(
attribute
?X
Fillable
)))
Food.kif 715-728
instance
Object
and
Penne
Object
instance
Object
and
Penne
part
Object
and
Object
Object
instance
Object
and
Hole
part
Object
and
Object
attribute
Object
and
Fillable
(=>
(
and
(
instance
?X
Spaghetti
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Spaghetti
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 881-889
instance
Object
and
Spaghetti
Object
instance
Object
and
Spaghetti
part
Object
and
Object
attribute
Object
and
LongAndThin
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 22255-22272
typicalAction
Process
and
Agent
instance
Entity
and
Agent
equal
RealNumber
and
ProbabilityFn
entity
instance
entity
and
Process
agent
entity
and
Entity
equal
RealNumber
and
ProbabilityFn
entity
instance
entity
and
Process
agent
entity
and
Entity
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
typicalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
part
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
part
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23063-23080
typicalPart
Object
and
Object
instance
Entity
and
Object
equal
Object
PROB and
ProbabilityFn
entity
instance
entity
and
Object
part
Entity
and
entity
equal
RealNumber
and
ProbabilityFn
entity
instance
entity
and
Object
part
Entity
and
entity
greaterThan
Object
PROB and
RealNumber
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
typicalTemporalPart
Process
and
Process
instance
Entity
and
Process
equal
Process
PROB and
ProbabilityFn
entity
instance
entity
and
Process
temporalPart
Entity
and
entity
equal
RealNumber
and
ProbabilityFn
entity
instance
entity
and
Process
temporalPart
Entity
and
entity
greaterThan
Process
PROB and
RealNumber
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 29556-29566
instance
Entity
and
BodyPart
holdsDuring
TimePosition
and
attribute
Entity
and
Bare
holdsDuring
TimePosition
and
entity
instance
entity
and
Clothing
covers
entity
and
Entity
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7156-7167
instance
Object
and
ParticulateMatter
part
SelfConnectedObject
and
Object
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
Micrometer
greaterThan
10.0 and
RealNumber
greaterThan
RealNumber
and 2.5
Object
0
instance
Object
0 and
CoarseParticulateMatter
part
Object
0 and
Object
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7185-7195
instance
Object
and
ParticulateMatter
part
SelfConnectedObject
and
Object
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
Micrometer
greaterThanOrEqualTo
RealNumber
and 2.5
Object
5
instance
Object
5 and
FineParticulateMatter
part
Object
5 and
Object
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?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) ?Y)
(
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 372-405
instance
Year
and
YearFn
Year
EAR
equal
MaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM 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
Year
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
(<=>
(
annualExpendituresOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?AMOUNT)))))
Economy.kif 1528-1533
annualExpendituresOfAreaInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
annualExpendituresOfArea
GeopoliticalArea
and
CurrencyMeasure
(<=>
(
annualRevenuesOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualRevenuesOfArea
?AREA ?AMOUNT)))))
Economy.kif 1499-1504
annualRevenuesOfAreaInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
annualRevenuesOfArea
GeopoliticalArea
and
CurrencyMeasure
(<=>
(
attribute
?HOLE1
Fillable
)
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
Hole
)
(
part
?HOLE1 ?HOLE2))))
Merge.kif 9869-9874
attribute
Object
and
Fillable
Object
instance
Object
and
Hole
part
Object
and
Object
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
Mid-level-ontology.kif 712-723
attribute
Object
and
PolyphonicMusic
Process
Process
instance
Object
and
MakingMusic
instance
Process
and
MakingMusic
instance
Process
and
MakingMusic
subProcess
Process
and
Object
subProcess
Process
and
Object
equal
Process
and
Process
cooccur
Process
and
Object
cooccur
Process
and
Object
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 22469-22474
aunt
Woman
and
Human
Human
sister
Woman
and
Human
parent
Human
and
Human
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 289-310
average
List
and
RealNumber
List
equal
ListLengthFn
List
and
ListLengthFn
List
equal
ListOrderFn
List
and 1 and
ListOrderFn
List
and 1
PositiveInteger
inList
PositiveInteger
and
List
RealNumber
RealNumber
MINUSONE,
PositiveInteger
and
PositiveInteger
greaterThan
RealNumber
and 1
lessThanOrEqualTo
RealNumber
and
ListLengthFn
List
equal
ListOrderFn
List
and
PositiveInteger
and
RealNumber
inList
PositiveInteger
and
List
equal
RealNumber
and
ListOrderFn
List
and
PositiveInteger
inList
PositiveInteger
and
List
equal
RealNumber
MINUSONE and
SubtractionFn
RealNumber
and 1
equal
RealNumber
MINUSONE and
ListOrderFn
List
and
PositiveInteger
equal
PositiveInteger
and
AdditionFn
PositiveInteger
and
PositiveInteger
equal
PositiveInteger
and
ListLengthFn
List
equal
RealNumber
and
DivisionFn
ListOrderFn
List
and
PositiveInteger
and
PositiveInteger
(<=>
(
beliefGroupPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1538-1549
beliefGroupPercentInRegion
BeliefGroup
,
RealNumber
and
GeographicArea
Collection
Collection
located
Physical
and
GeographicArea
member
Physical
and
BeliefGroup
member
Physical
and
Collection
memberCount
Collection
and
RealNumber
located
Physical
and
GeographicArea
member
Physical
and
Collection
memberCount
Collection
and
RealNumber
equal
DivisionFn
RealNumber
and 100 and
DivisionFn
RealNumber
and
RealNumber
(<=>
(
capitalExpendituresOfAreaInPeriod
?AREA ?CAPAMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT)))))
Economy.kif 1576-1581
capitalExpendituresOfAreaInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
capitalExpendituresOfArea
GeopoliticalArea
and
CurrencyMeasure
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 22484-22499
cousin
Human
and
Human
Woman
Man
grandmother
Human
and
Woman
grandfather
Human
and
Man
grandmother
Human
and
Woman
grandfather
Human
and
Man
Organism
Organism
mother
Human
and
Organism
father
Human
and
Organism
mother
Human
and
Organism
father
Human
and
Organism
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3671-3676
currencyExchangePerUSDollar
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
currencyExchangeRate
UnitedStatesDollar
and
CurrencyMeasure
(<=>
(
currencyExchangeRateInPeriod
?UNIT ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
?UNIT ?AMOUNT)))))
Economy.kif 3678-3683
currencyExchangeRateInPeriod
UnitOfCurrency
,
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
currencyExchangeRate
UnitOfCurrency
and
CurrencyMeasure
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7396-7402
customer
CognitiveAgent
and
CognitiveAgent
Process
instance
Process
and
FinancialTransaction
agent
Process
and
CognitiveAgent
destination
Process
and
CognitiveAgent
(<=>
(
economicAidDonatedInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidDonated
?COUNTRY ?AMOUNT)))))
Economy.kif 2829-2834
economicAidDonatedInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
economicAidDonated
GeopoliticalArea
and
CurrencyMeasure
(<=>
(
economicAidReceivedNetInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidReceivedNet
?COUNTRY ?AMOUNT)))))
Economy.kif 2869-2874
economicAidReceivedNetInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
economicAidReceivedNet
GeopoliticalArea
and
CurrencyMeasure
(<=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2067-2072
electricityFractionFromSourceInPeriod
GeopoliticalArea
,
PowerGeneration
,
RealNumber
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
electricityFractionFromSource
GeopoliticalArea
,
PowerGeneration
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 418-449
equal
FemaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
YearFn
Integer
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM 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 327-357
equal
LifeExpectancyAtBirthFn
GeopoliticalArea
and
YearFn
Integer
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM 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
(
PopulationGrowthFn
?AREA
(
YearFn
?YEAR)) ?ADJUSTEDPERCENT)
(
exists
(?Y1 ?Y2)
(
and
(
equal
(
SubtractionFn
?YEAR ?PREVIOUSYEAR) 1)
(
equal
?Y1
(
YearFn
?YEAR))
(
equal
?Y2
(
YearFn
?PREVIOUSYEAR))
(
holdsDuring
?Y1
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
holdsDuring
?Y2
(
equal
(
PopulationFn
?AREA) ?PREVIOUSPOPULATION))
(
equal
(
DivisionFn
?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
(
equal
(
SubtractionFn
?PERCENT 1) ?ADJUSTEDPERCENT))))
People.kif 78-90
equal
PopulationGrowthFn
GeopoliticalArea
and
YearFn
Integer
and
RealNumber
Year
Year
equal
SubtractionFn
Integer
and
Integer
and 1
equal
Year
and
YearFn
Integer
equal
Year
and
YearFn
Integer
holdsDuring
Year
and
equal
PopulationFn
GeopoliticalArea
and
RealNumber
holdsDuring
Year
and
equal
PopulationFn
GeopoliticalArea
and
RealNumber
equal
DivisionFn
RealNumber
and
RealNumber
and
RealNumber
equal
SubtractionFn
RealNumber
and 1 and
RealNumber
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1557-1568
ethnicityPercentInRegion
EthnicGroup
,
RealNumber
and
GeographicArea
Collection
Collection
located
Physical
and
GeographicArea
member
Physical
and
EthnicGroup
member
Physical
and
Collection
memberCount
Collection
and
RealNumber
located
Physical
and
GeographicArea
member
Physical
and
Collection
memberCount
Collection
and
RealNumber
equal
DivisionFn
RealNumber
and 100 and
DivisionFn
RealNumber
and
RealNumber
(<=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2559-2564
exportPartnerByFractionInPeriod
GeopoliticalArea
,
GeopoliticalArea
,
PositiveRealNumber
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
exportPartnerByFraction
GeopoliticalArea
,
GeopoliticalArea
and
PositiveRealNumber
(<=>
(
exportPartnerByRankInPeriod
?AREA1 ?AREA2 ?NTH ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByRank
?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2521-2526
exportPartnerByRankInPeriod
GeopoliticalArea
,
GeopoliticalArea
,
PositiveInteger
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
exportPartnerByRank
GeopoliticalArea
,
GeopoliticalArea
and
PositiveInteger
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1145-1159
containsInformation
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
citizen
?VOTER and ?POLITY
suffrageAgeMinimum
?POLITY and
MeasureFn
?VOTINGAGE and
YearDuration
age
?VOTER and
MeasureFn
?AGE and
YearDuration
greaterThanOrEqualTo
?AGE and ?VOTINGAGE
instance
?ELECTION and
ElectionFn
?POLITY
?VOTING
instance
?VOTING and
VotingFn
?ELECTION
agent
?VOTING and ?VOTER
and
CompulsorySuffrageLaw
(
hasPurpose
IBookstore
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
instrument
?D
IBookstore
)
(
instance
?T
Text
)
(
objectTransferred
?D ?T))))
ComputingBrands.kif 3275-3281
hasPurpose
iBookstore
and ?D
instance
?D and
DownloadingOverNetwork
instrument
?D and
iBookstore
instance
?T and
Text
objectTransferred
?D and ?T
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6003-6010
GraphPath
GraphPath
instance
GraphPath
and
CutSetFn
Graph
instance
GraphPath
and
MinimalCutSetFn
Graph
pathLength
GraphPath
and
PositiveInteger
pathLength
GraphPath
and
PositiveInteger
lessThan
PositiveInteger
and
PositiveInteger
appearance as argument number 0
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 230-231
Meal
Region
attribute
Meal
and
MealAttributeFn
Meal
and
Region
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
1976))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
SteveWozniakOfApple
))))
ComputingBrands.kif 2421-2425
TimePosition
instance
TimePosition
and
YearFn
1976
holdsDuring
TimePosition
and
coworker
スティーブ・ジョブズ氏
and
スティーブ・ウオズニアック氏
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
2002))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
TimCookOfApple
))))
ComputingBrands.kif 2409-2413
TimePosition
instance
TimePosition
and
YearFn
2002
holdsDuring
TimePosition
and
coworker
スティーブ・ジョブズ氏
and
ティム・クック氏
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
SortimoCorp
?T)))
Cars.kif 5112-5115
Agent
subclass
Agent
and
HandToolBox
manufacturer
SortimoCorp
and
Agent
(
exists
(?THING)
(
instance
?THING
Entity
))
Merge.kif 808-809
Entity
instance
Entity
and
Entity
(
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 1968-1976
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
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