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
exists
Sigma KEE - exists
exists
antecedent
(<=>
(
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
(<=>
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT)))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 10971-10983
Process
instance
Process
and
Borrowing
agent
Process
and
Agent
origin
Process
and
Agent
patient
Process
and
Entity
Process
instance
Process
and
Lending
agent
Process
and
Agent
destination
Process
and
Agent
patient
Process
and
Entity
(<=>
(
exists
(?BUILD)
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT)))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 11912-11917
Process
instance
Process
and
Constructing
result
Process
and
Entity
instance
Entity
and
StationaryArtifact
(<=>
(
exists
(?BUY)
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT)))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11133-11145
Process
instance
Process
and
Buying
agent
Process
and
Agent
origin
Process
and
Agent
patient
Process
and
Entity
Process
instance
Process
and
Selling
agent
Process
and
Agent
destination
Process
and
Agent
patient
Process
and
Entity
(<=>
(
exists
(?EMIT)
(
and
(
instance
?EMIT
RadiatingLight
)
(
patient
?EMIT ?REGION)
(
instance
?REGION
Region
)))
(
attribute
?REGION
Illuminated
))
Merge.kif 12669-12675
Process
instance
Process
and
RadiatingLight
patient
Process
and
Object
instance
Object
and
Region
attribute
Object
and
Illuminated
(<=>
(
exists
(?Income ?Tax ?TaxAmount)
(
and
(
incomeEarned
?Agent ?Income ?Activity)
(
amountCharged
?Tax ?TaxAmount)
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount))))
(
afterTaxIncome
?Agent ?ATIncome ?Activity))
FinancialOntology.kif 3229-3236
Number
ChargingAFee
and
ChargingAFee
Amount
incomeEarned
Human
,
Number
and
OrganizationalProcess
amountCharged
ChargingAFee
and
ChargingAFee
Amount
causes
OrganizationalProcess
and
ChargingAFee
equal
Number
and
SubtractionFn
Number
and
ChargingAFee
Amount
afterTaxIncome
Human
,
Number
and
OrganizationalProcess
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3762-3768
TimeInterval
instance
Loan
and
Loan
agreementPeriod
Loan
and
TimeInterval
interestEarned
Loan
,
Interest
and
TimeInterval
loanInterest
Loan
and
Interest
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 987-990
ComputerProcess
programRunning
ComputerProcess
and
ComputerProgram
property
ComputerProgram
and
Executable
(<=>
(
exists
(?Rate)
(
fixedInterestRate
?Account ?Rate))
(
instance
?Account
FixedRateAccount
))
FinancialOntology.kif 925-928
InterestRate
fixedInterestRate
FinancialAccount
and
InterestRate
instance
FinancialAccount
and
FixedRateAccount
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 2966-2974
FinancialInstrument
FinancialInstrument
Price and
CurrencyMeasure
instance
Agreement
and
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
Agent
strikePrice
Agreement
and
CurrencyMeasure
lessThan
FinancialInstrument
Price and
CurrencyMeasure
outOfTheMoney
Agreement
and
Agent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 2923-2931
FinancialInstrument
FinancialInstrument
Price and
CurrencyMeasure
instance
Agreement
and
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
Agent
strikePrice
Agreement
and
CurrencyMeasure
lessThan
CurrencyMeasure
and
FinancialInstrument
Price
inTheMoney
Agreement
and
Agent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 2949-2957
FinancialInstrument
FinancialInstrument
Price and
CurrencyMeasure
instance
Agreement
and
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
Agent
strikePrice
Agreement
and
CurrencyMeasure
equal
FinancialInstrument
Price and
CurrencyMeasure
atTheMoney
Agreement
and
Agent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 2933-2941
FinancialInstrument
FinancialInstrument
Price and
CurrencyMeasure
instance
Agreement
and
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
Agent
strikePrice
Agreement
and
CurrencyMeasure
lessThan
FinancialInstrument
Price and
CurrencyMeasure
inTheMoney
Agreement
and
Agent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 2976-2984
FinancialInstrument
FinancialInstrument
Price and
CurrencyMeasure
instance
Agreement
and
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
Agent
strikePrice
Agreement
and
CurrencyMeasure
lessThan
CurrencyMeasure
and
FinancialInstrument
Price
outOfTheMoney
Agreement
and
Agent
(=>
(
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 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
?Account
LiabilityAccount
)
(
minimumPayment
?Account ?MinPayment
MonthDuration
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account ?Amount ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 711-724
instance
LiabilityAccount
and
LiabilityAccount
minimumPayment
LiabilityAccount
,
CurrencyMeasure
and
MonthDuration
Process
TimeInterval
instance
TimeInterval
and
Month
destination
Process
and
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
CurrencyMeasure
and
TimeInterval
lessThan
CurrencyMeasure
and
CurrencyMeasure
Process
instance
Process
and
Penalty
destination
Process
and
CurrencyFn
LiabilityAccount
(=>
(
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
?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 3444-3464
instance
Collection
and
Collection
instance
Number
and
CurrencyMeasure
instance
Integer
and
RealNumber
equal
Number
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
Number
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 1768-1782
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 3879-3895
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?AGENT
SentientAgent
)
(
attribute
?AGENT
Living
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
ConsciousnessAttribute
)
(
attribute
?AGENT ?ATTR))))
Merge.kif 16988-16995
instance
Object
and
SentientAgent
attribute
Object
and
Living
Attribute
instance
Attribute
and
ConsciousnessAttribute
attribute
Object
and
Attribute
(<=>
(
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
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 6899-6910
instance
Object
and
ParticulateMatter
part
SelfConnectedObject
and
Object
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
Micrometer
greaterThan
10 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 6928-6938
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
?REL
TotalValuedRelation
)
(
instance
?REL
Predicate
))
(
exists
(?VALENCE)
(
and
(
instance
?REL
Relation
)
(
valence
?REL ?VALENCE)
(=>
(
forall
(?NUMBER ?ELEMENT ?CLASS)
(=>
(
and
(
lessThan
?NUMBER ?VALENCE)
(
domain
?REL ?NUMBER ?CLASS)
(
equal
?ELEMENT
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER)))
(
instance
?ELEMENT ?CLASS)))
(
exists
(?ITEM)
(?REL @ROW ?ITEM))))))
Merge.kif 2116-2133
instance
Relation
and
TotalValuedRelation
instance
Relation
and
Predicate
PositiveInteger
instance
Relation
and
Relation
valence
Relation
and
PositiveInteger
PositiveInteger
Entity
and
SetOrClass
lessThan
PositiveInteger
and
PositiveInteger
domain
Relation
,
PositiveInteger
and
SetOrClass
equal
Entity
and
ListOrderFn
ListFn
@ROW and
PositiveInteger
instance
Entity
and
SetOrClass
entity
Relation
@ROW and
entity
(<=>
(
annualExpendituresOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?AMOUNT)))))
Economy.kif 1523-1528
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 1494-1499
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 9394-9399
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 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
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 20983-20988
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 285-306
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
Number
Number
MINUSONE,
PositiveInteger
and
PositiveInteger
greaterThan
Number
and 1
lessThanOrEqualTo
Number
and
ListLengthFn
List
equal
ListOrderFn
List
and
PositiveInteger
and
Number
inList
PositiveInteger
and
List
equal
Number
and
ListOrderFn
List
and
PositiveInteger
inList
PositiveInteger
and
List
equal
Number
MINUSONE and
SubtractionFn
Number
and 1
equal
Number
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
(<=>
(
bankAccount
?AccountType ?Bank)
(
exists
(?Account)
(
and
(
instance
?Account ?AccountType)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 3786-3791
bankAccount
FinancialAccount
and
Bank-FinancialOrganization
FinancialAccount
instance
FinancialAccount
and
FinancialAccount
accountAt
FinancialAccount
and
Bank-FinancialOrganization
(<=>
(
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 1530-1541
beliefGroupPercentInRegion
BeliefGroup
,
RealNumber
and
GeographicArea
Collection
Collection
located
Object
and
GeographicArea
member
Object
and
BeliefGroup
member
Object
and
Collection
memberCount
Collection
and
RealNumber
located
Object
and
GeographicArea
member
Object
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 1569-1574
capitalExpendituresOfAreaInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
capitalExpendituresOfArea
GeopoliticalArea
and
CurrencyMeasure
(<=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 15013-15016
connectedEngineeringComponents
EngineeringComponent
and
EngineeringComponent
EngineeringConnection
connectsEngineeringComponents
EngineeringConnection
,
EngineeringComponent
and
EngineeringComponent
(<=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 956-961
contains
SelfConnectedObject
and
Object
Hole
hole
Hole
and
SelfConnectedObject
properlyFills
Object
and
Hole
(<=>
(
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
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3664-3669
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 3671-3676
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 7413-7419
customer
CognitiveAgent
and
CognitiveAgent
Process
instance
Process
and
FinancialTransaction
agent
Process
and
CognitiveAgent
destination
Process
and
CognitiveAgent
(<=>
(
customerRepresentative
?Person1 ?Person2 ?Org)
(
exists
(?Service)
(
and
(
instance
?Service
FinancialTransaction
)
(
employs
?Org ?Person1)
(
agent
?Service ?Person1)
(
destination
?Service ?Person2))))
FinancialOntology.kif 3534-3541
customerRepresentative
CognitiveAgent
,
CognitiveAgent
and
Organization
Process
instance
Process
and
FinancialTransaction
employs
Organization
and
CognitiveAgent
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 2822-2827
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 2862-2867
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 2060-2065
electricityFractionFromSourceInPeriod
GeopoliticalArea
,
PowerGeneration
,
RealNumber
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
electricityFractionFromSource
GeopoliticalArea
,
PowerGeneration
and
RealNumber
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3158-3164
employs
Agent
and
Agreement
CognitiveAgent
property
CognitiveAgent
and
Employment
partyToAgreement
CognitiveAgent
and
Agent
partyToAgreement
CognitiveAgent
and
Agreement
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 ?VOTINGAGE)
(
age
?VOTER ?AGE)
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1122-1134
containsInformation
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
citizen
?VOTER and ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
age
?VOTER and ?AGE
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
Downloading
)
(
instrument
?D
IBookstore
)
(
instance
?T
Text
)
(
objectTransferred
?D ?T))))
ComputingBrands.kif 3295-3301
hasPurpose
iBookstore
and ?D
instance
?D and
Downloading
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 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
appearance as argument number 0
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 248-249
Meal
Region
attribute
Meal
and
MealAttributeFn
Meal
and
Region
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
SortimoCorp
?T)))
Cars.kif 5090-5093
Agent
subclass
Agent
and
HandToolBox
manufacturer
SortimoCorp
and
Agent
(
exists
(?THING)
(
instance
?THING
Entity
))
Merge.kif 791-792
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 1972-1980
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