Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
not
Sigma KEE - not
not
appearance as argument number 2
(
termFormat
ChineseLanguage
not
"不")
domainEnglishFormat.kif 41209-41209
(
termFormat
ChineseTraditionalLanguage
not
"不")
domainEnglishFormat.kif 41208-41208
(
termFormat
EnglishLanguage
not
"not")
domainEnglishFormat.kif 41207-41207
antecedent
(<=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
)))
(
forall
(?NUMBER1 ?NUMBER2)
(=>
(
and
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))))
Merge.kif 2977-2993
equal
List
and
ListConcatenateFn
List
and
List
equal
List
and
NullList
equal
List
and
NullList
PositiveInteger
PositiveInteger
lessThanOrEqualTo
PositiveInteger
and
ListLengthFn
List
lessThanOrEqualTo
PositiveInteger
and
ListLengthFn
List
instance
PositiveInteger
and
PositiveInteger
instance
PositiveInteger
and
PositiveInteger
equal
ListOrderFn
List
and
PositiveInteger
and
ListOrderFn
List
and
PositiveInteger
equal
ListOrderFn
List
and
AdditionFn
ListLengthFn
List
and
PositiveInteger
and
ListOrderFn
List
and
PositiveInteger
(<=>
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON))))
(
attribute
?PERSON
Unemployed
))
Merge.kif 16084-16090
instance
CognitiveAgent
and
Human
Agent
employs
Agent
and
CognitiveAgent
attribute
CognitiveAgent
and
Unemployed
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1754-1764
instance
Process
and
Withdrawal
instance
FinancialAccount
and
FinancialAccount
origin
Process
and
CurrencyFn
FinancialAccount
Process
instance
Process
and
Penalty
destination
Process
and
CurrencyFn
FinancialAccount
causes
Process
and
Process
liquidity
FinancialAccount
and
HighLiquidity
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 501-505
attribute
Agent
and
HighIncomeCountry
member
Agent
and
OrganizationOfPetroleumExportingCountries
economyType
Agent
and
DevelopedCountry
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1 ?MEAS1)
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2 ?MEAS2)
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1115-1123
attribute
Object
and
FamilyStylePortion
measure
Object
and
PhysicalQuantity
attribute
Object
and
FamilyStylePortion
measure
Object
and
PhysicalQuantity
instance
Object
and
SetOrClass
instance
Object
and
SetOrClass
greaterThan
PhysicalQuantity
and
PhysicalQuantity
(=>
(
and
(
attribute
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 10255-10265
attribute
Object
and
Attribute
instance
Attribute
and
Fingerprint
instance
Object
and
Finger
Attribute
R
Object
instrument
Attribute
R and
Object
instance
Object
and
Finger
attribute
Object
and
Attribute
patient
Attribute
R and
Object
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2664-2675
attribute
SelfConnectedObject
and
凹
surface
SelfConnectedObject
and
SelfConnectedObject
part
Object
and
SelfConnectedObject
part
Object
and
SelfConnectedObject
equal
Object
and
Object
と
Object
間のライン
equal
Object
and
Object
part
Object
and
Object
orientation
Object
,
SelfConnectedObject
and
Outside
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2632-2643
attribute
SelfConnectedObject
and
凸
surface
SelfConnectedObject
and
SelfConnectedObject
part
Object
and
SelfConnectedObject
part
Object
and
SelfConnectedObject
equal
Object
and
Object
と
Object
間のライン
equal
Object
and
Object
part
Object
and
Object
orientation
Object
,
SelfConnectedObject
and
Inside
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9150-9155
bottom
SelfConnectedObject
and
SelfConnectedObject
part
Object
and
SelfConnectedObject
connected
Object
and
SelfConnectedObject
orientation
Object
,
SelfConnectedObject
and
Above
(=>
(
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
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
attribute
?X
HeartHealthyFood
) ?NUMBER1)
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
not
(
attribute
?X
HeartHealthyFood
)) ?NUMBER2))
(
lessThan
?NUMBER1 ?NUMBER2))
Dining.kif 1098-1106
conditionalProbability
attribute
entity
and
ComfortFood
,
attribute
entity
and
HeartHealthyFood
and
RealNumber
conditionalProbability
attribute
entity
and
ComfortFood
,
attribute
entity
and
HeartHealthyFood
and
RealNumber
lessThan
RealNumber
and
RealNumber
(=>
(
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
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1298-1309
engineeringSubcomponent
EngineeringComponent
and
Internet
engineeringSubcomponent
EngineeringComponent
and
Internet
equal
EngineeringComponent
and
EngineeringComponent
hasPurpose
Internet
and
entity
instance
entity
and
Communication
agent
entity
and
EngineeringComponent
destination
entity
and
EngineeringComponent
instrument
entity
and
Internet
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?P ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 16070-16084
equal
Organization
and
DepartmentOfFn
Organization
and
Physical
subOrganization
Organization
and
Organization
equal
Organization
and
Organization
instance
Entity
and
Physical
inScopeOfInterest
CognitiveAgent
and
Entity
equal
CognitiveAgent
and
ProbabilityFn
agent
CognitiveAgent
and
Organization
equal
CognitiveAgent
and
ProbabilityFn
agent
CognitiveAgent
and
Organization
greaterThan
CognitiveAgent
and
CognitiveAgent
(=>
(
and
(
equal
?L
(
LineFn
?P1 ?P2))
(
part
?OP1 ?L)
(
part
?OP2 ?L)
(
not
(
equal
?OP1 ?OP2))
(
equal
?L2
(
LineFn
?OP1 ?OP2)))
(
part
?L2 ?L))
ComputingBrands.kif 2603-2611
equal
Object
and
Object
と
Object
間のライン
part
Object
and
Object
part
Object
and
Object
equal
Object
and
Object
equal
Object
and
Object
と
Object
間のライン
part
Object
and
Object
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 5758-5764
graphPart
GraphElement
and
Graph
instance
Graph
and
DirectedGraph
instance
GraphElement
and
GraphPathFn
GraphNode
and
GraphNode
instance
GraphElement
and
GraphPathFn
GraphNode
and
GraphNode
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4347-4364
hasAccount
CognitiveAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
knows
CognitiveAgent
and
password
ComputerPassword
and
UserAccount
knows
CognitiveAgent
and
recoveryKey
entity
and
UserAccount
possesses
CognitiveAgent
and
Computer
modalAttribute
entity
instance
entity
and
ChangingPassword
patient
entity
and
UserAccount
agent
entity
and
CognitiveAgent
and
Possibility
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2135-2146
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedState
screenOfGUIE
GUIElement
and
ComputerScreen
instance
GUIElement
and
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
equal
GUIElement
and
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 28839-28860
holdsDuring
TimeInterval
and
attribute
Agent
and
Dieting
holdsDuring
TimeInterval
and
attribute
Agent
and
Dieting
instance
Object
and
Meal
instance
Process
and
Eating
agent
Process
and
Agent
resource
Process
and
Object
during
WhenFn
Process
and
TimeInterval
measure
Object
and
MeasureFn
RealNumber
and
Calorie
instance
Object
and
Meal
instance
Process
and
Eating
agent
Process
and
Agent
resource
Process
and
Object
during
WhenFn
Process
and
TimeInterval
measure
Object
and
MeasureFn
RealNumber
and
Calorie
modalAttribute
greaterThan
RealNumber
and
RealNumber
and
Likely
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 675-688
instance
Process
and
Ambulating
subProcess
Process
and
Process
instance
Process
and
Stepping
subProcess
Process
and
Process
instance
Process
and
Stepping
equal
Process
START and
BeginFn
WhenFn
Process
equal
Process
START and
BeginFn
WhenFn
Process
before
Process
START and
Process
START
before
Process
START and
Process
START
equal
Process
and
Process
(=>
(
and
(
instance
?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 844-857
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
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
patient
?P ?W))))
Mid-level-ontology.kif 2622-2635
instance
Agent
and
Animal
instance
Attribute
and
DiseaseOrSyndrome
attribute
Agent
and
Attribute
Process
Entity
instance
Process
and
BiologicalProcess
instance
Process
and
Removing
origin
Process
and
Agent
instance
Entity
and
Sewage
agent
Process
and
Agent
patient
Process
and
Entity
(=>
(
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 5319-5328
instance
Object
and
Bubble
Object
Attribute
attribute
Object
and
Attribute
equal
Object
and
Gas
meetsSpatially
Object
and
Object
attribute
Object
and
RoundShape
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4055-4087
instance
Object
and
BimetalTemperatureSensor
instance
Object
and
Metal
instance
Object
and
Metal
equal
Object
and
Object
part
Object
and
Object
part
Object
and
Object
instance
Entity
and
TemperatureMeasure
instance
Entity
and
TemperatureMeasure
instance
Number
and
LengthMeasure
instance
Number
and
LengthMeasure
instance
Number
and
LengthMeasure
instance
Number
and
LengthMeasure
equal
Entity
and
Entity
equal
TimePosition
and
TimePosition
holdsDuring
TimePosition
and
measure
Object
and
Entity
measure
Object
and
Number
measure
Object
and
Number
holdsDuring
TimePosition
and
measure
Object
and
Entity
measure
Object
and
Number
measure
Object
and
Number
equal
DivisionFn
Number
and
Number
and
DivisionFn
Number
and
Number
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 28370-28380
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
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 11570-11577
instance
Process
and
Combining
resource
Process
and
Object
result
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
part
Object
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
part
Object
and
Entity
(<=>
(
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 926-937
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
(<=>
(
attribute
?WATER
OpenSea
)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER ?DIST)
(
greaterThan
?DIST
(
MeasureFn
5
NauticalMile
))))
Geography.kif 4421-4429
attribute
Object
and
OpenSea
instance
Object
and
SaltWaterArea
instance
Object
and
LandlockedWater
distance
Physical
,
Object
and
LengthMeasure
greaterThan
LengthMeasure
and
MeasureFn
5 and
NauticalMile
(<=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 8995-9001
connects
Object
,
Object
and
Object
connected
Object
and
Object
connected
Object
and
Object
connected
Object
and
Object
(<=>
(
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 20998-21013
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
(<=>
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 411-442
equal
FemaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
YearFn
Integer
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
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 323-353
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
(
MaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 367-398
equal
MaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
YearFn
Integer
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
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
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
(
MigrantsPerThousandFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
(
SubtractionFn
?YEAR ?PREVIOUSYEAR) 1)
(
holdsDuring
(
YearFn
?YEAR)
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
equal
(
DivisionFn
?POPULATION 1000) ?THOUSANDS)
(
equal
?IMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
(
YearFn
?PREVIOUSYEAR)
(
not
(
inhabits
?PERSON ?AREA)))
(
holdsDuring
(
YearFn
?YEAR)
(
inhabits
?PERSON ?AREA))))))
(
equal
?EMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
(
YearFn
?PREVIOUSYEAR)
(
inhabits
?PERSON ?AREA))
(
holdsDuring
(
YearFn
?YEAR)
(
not
(
inhabits
?PERSON ?AREA)))))))
(
equal
(
SubtractionFn
?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(
equal
(
DivisionFn
?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 174-202
equal
MigrantsPerThousandFn
GeopoliticalArea
and
YearFn
Integer
and
RealNumber
equal
SubtractionFn
Integer
and
Number
and 1
holdsDuring
YearFn
Integer
and
equal
PopulationFn
GeopoliticalArea
and
Number
equal
DivisionFn
Number
and 1000 and
Number
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Human
holdsDuring
YearFn
Number
and
inhabits
SymbolicString
and
GeopoliticalArea
holdsDuring
YearFn
Integer
and
inhabits
SymbolicString
and
GeopoliticalArea
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Human
holdsDuring
YearFn
Number
and
inhabits
SymbolicString
and
GeopoliticalArea
holdsDuring
YearFn
Integer
and
inhabits
SymbolicString
and
GeopoliticalArea
equal
SubtractionFn
Integer
and
Integer
and
Number
equal
DivisionFn
Number
and
Number
and
RealNumber
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 28327-28335
holdsDuring
TimePosition
and
attribute
entity
and
Barefoot
holdsDuring
TimePosition
and
entity
instance
entity
and
Shoe
wears
entity
and
entity
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 28339-28347
holdsDuring
TimePosition
and
attribute
entity
and
Naked
holdsDuring
TimePosition
and
entity
instance
entity
and
Clothing
wears
entity
and
entity
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
Agent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 28413-28426
holdsDuring
TimeInterval
and
attribute
Entity
and
Alone
Entity
Process
equal
Entity
and
Entity
instance
Entity
and
Agent
instance
Process
and
SocialInteraction
during
WhenFn
Process
and
TimeInterval
involvedInEvent
Process
and
Entity
involvedInEvent
Process
and
Entity
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 28459-28467
holdsDuring
TimeInterval
and
attribute
Agent
and
Mute
Process
instance
Process
and
Speaking
during
WhenFn
Process
and
TimeInterval
agent
Process
and
Agent
(<=>
(
instance
?COMPOUND
CompoundSubstance
)
(
exists
(?ELEMENT1 ?ELEMENT2 ?PROCESS)
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))))
Merge.kif 11639-11649
instance
Entity
and
CompoundSubstance
Object
Object
and
Process
instance
Object
and
ElementalSubstance
instance
Object
and
ElementalSubstance
equal
Object
and
Object
instance
Process
and
ChemicalSynthesis
resource
Process
and
Object
resource
Process
and
Object
result
Process
and
Entity
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6172-6182
instance
Entity
and
ConjugatedSubstance
Object
Object
and
Process
instance
Object
and
CompoundSubstance
instance
Object
and
CompoundSubstance
equal
Object
and
Object
instance
Process
and
ChemicalSynthesis
resource
Process
and
Object
resource
Process
and
Object
result
Process
and
Entity
(<=>
(
instance
?GRAPH
MultiGraph
)
(
exists
(?ARC1 ?ARC2 ?NODE1 ?NODE2)
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))))
Merge.kif 5487-5497
instance
Graph
and
MultiGraph
GraphArc
GraphArc
,
GraphNode
and
GraphNode
graphPart
GraphArc
and
Graph
graphPart
GraphArc
and
Graph
graphPart
GraphNode
and
Graph
graphPart
GraphNode
and
Graph
links
GraphNode
,
GraphNode
and
GraphArc
links
GraphNode
,
GraphNode
and
GraphArc
equal
GraphArc
and
GraphArc
(<=>
(
instance
?PROCESS
Creation
)
(
exists
(?PATIENT)
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))))
Merge.kif 11887-11894
instance
Process
and
Creation
Physical
patient
Process
and
Physical
time
Physical
and
EndFn
WhenFn
Process
time
Physical
and
BeginFn
WhenFn
Process
(<=>
(
instance
?PROCESS
Destruction
)
(
exists
(?PATIENT)
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))))))
Merge.kif 11435-11442
instance
Process
and
Destruction
Physical
patient
Process
and
Physical
time
Physical
and
BeginFn
WhenFn
Process
time
Physical
and
EndFn
WhenFn
Process
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 291-303
lengthOfUnclassifiedGaugeRailway
GeographicArea
and
LengthMeasure
length
KappaFn
SymbolicString
and
located
SymbolicString
and
GeographicArea
instance
SymbolicString
and
UnionFn
StandardGaugeRailway
and
UnionFn
BroadGaugeRailway
and
UnionFn
DualGaugeRailway
and
NarrowGaugeRailway
and
LengthMeasure
(<=>
(
manner
?P
Harmless
)
(
and
(
not
(
instance
?P
Damaging
))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
subProcess
?P2 ?P))))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
causes
?P ?P2))))))
Mid-level-ontology.kif 28476-28490
manner
Process
and
Harmless
instance
Process
and
Damaging
Process
instance
Process
and
Damaging
subProcess
Process
and
Process
Process
instance
Process
and
Damaging
causes
Process
and
Process
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 11487-11494
modalAttribute
Formula
and
Legal
Formula
modalAttribute
Formula
and
Law
consistent
Formula
and
Formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 16244-16246
modalAttribute
Formula
and
Necessity
modalAttribute
Formula
and
Possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 16307-16309
modalAttribute
Formula
and
Obligation
modalAttribute
Formula
and
Permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 16343-16345
modalAttribute
Formula
and
Prohibition
modalAttribute
Formula
and
Permission
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
FutureFn
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
)))
Media.kif 2519-2520
holdsDuring
FutureFn
DayFn
3 and
MonthFn
June
and
YearFn
2006 and
instance
SerbiaAndMontenegro
and
IndependentState
appearance as argument number 0
(
not
(
and
(
hasGUEState
?WINDOW
GUE_NonVisibleState
)
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
instance
?WINDOW
InterfaceWindow
)))
ComputerInput.kif 2026-2030
~{
hasGUEState
GUIElement
and
GUE_NonVisibleState
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
} ~{
instance
GUIElement
and
InterfaceWindow
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2241-2244
~{
instance
GUIElement
and
Cursor
} ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1967-1970
~{
instance
GUIElement
and
MouseCursor
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
}
(
not
(
equal
BigSix
GroupOf6
))
Government.kif 2846-2846
equal
BigSix
and
GroupOf6
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 5795-5802
GraphPath
GraphPath
instance
GraphPath
and
CutSetFn
Graph
instance
GraphPath
and
MinimalCutSetFn
Graph
pathLength
GraphPath
and
PositiveInteger
pathLength
GraphPath
and
PositiveInteger
lessThan
PositiveInteger
and
PositiveInteger
(
not
(
member
Denmark
EuropeanMonetaryUnion
))
Government.kif 3150-3150
member
Denmark
and
EuropeanMonetaryUnion
(
not
(
member
Sweden
EuropeanMonetaryUnion
))
Government.kif 3151-3151
member
Sweden
and
EuropeanMonetaryUnion
(
not
(
member
UnitedKingdom
EuropeanMonetaryUnion
))
Government.kif 3152-3152
member
UnitedKingdom
and
EuropeanMonetaryUnion
(
not
(
overlapsTemporally
CommonEra
BeforeCommonEra
))
Mid-level-ontology.kif 7574-7574
overlapsTemporally
CommonEra
and
BeforeCommonEra
(
not
(
vegetationType
ArcticRegion
BotanicalTree
))
Geography.kif 3444-3444
vegetationType
ArcticRegion
and
BotanicalTree
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