KappaFn
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
LengthMeasure
是
GeographicArea
的
total
水路長路
length
卡帕
SymbolicString
and
例
SymbolicString
and
水路
部分位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
LengthMeasure
是 在地區
GeographicArea
的
total
管線
length
卡帕
SymbolicString
and
例
SymbolicString
and
管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Buying
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
例
UnitOfMeasure
and
UnitOfCurrency
AutonomousAgent
為了
安全
asks
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
AutonomousAgent
and
SymbolicString
ingTime and
協議
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
attribute
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Selling
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
安全
例
UnitOfMeasure
and
UnitOfCurrency
大於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
SymbolicString
ingTime and
AutonomousAgent
and
協議
(=>
(
and
(
attribute
?Order
MarketOrder
)
(
attribute
?Broker
Broker
)
(
partyToAgreement
?Order ?Broker)
(
orderFor
?Order ?TransactionType ?Shares))
(
holdsObligation
(
KappaFn
?Transaction
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares))) ?Broker))
FinancialOntology.kif 1981-1990
attribute
FinancialTransaction
and
市場秩序
attribute
協議
and
經紀人
協議
是
FinancialTransaction
的
party
協議
FinancialTransaction
是 對於
安全
的
order
FinancialTransaction
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
FinancialTransaction
患者
SymbolicString
and
安全
and
協議
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 828-835
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and
Integer
子集合
MonoploidChromosomeSet
and
Collection
等於
Integer
and
基數
卡帕
Integer
and
子集合
MonoploidChromosomeSet
and
Collection
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
exists
(?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
transactionAmount
?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3202-3215
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Auctioning
SymbolicString
entity
_PURCHASE_AMOUNT
total
價值在
卡帕
SymbolicString
and
SymbolicString
是
Physical
的
transaction
總額 是
entity
_PURCHASE_AMOUNT
等於
Collection
的
total
purchase
price
and
entity
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
例
金融賬戶
and
信用賬戶
CognitiveAgent
持有
account
金融賬戶
RealNumber
是
金融賬戶
的
principal
總額
TimeInterval
是
金融賬戶
的
agreement
週期
金融賬戶
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
RealNumber
是
貸款
的
principal
總額
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
FinancialTransaction
SymbolicString
entity
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Physical
例
entity
and
Buying
會員
entity
and
Collection
患者
entity
and
SymbolicString
and 在
Collection
裡購買的樣品數量
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
等於
部
基數
entity
entity
and
entity
卡帕
entity
and
例
entity
and
WebListing
例
entity
and
WebSite
例
entity
and
Physical
會員
entity
and
Collection
患者
entity
and
entity
entity
是在
entity
hosted
entity
例
entity
and
Buying
患者
entity
and
entity
entity
facilitates
entity
and
基數
Collection
and 在
Collection
的
bids
數字
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
SymbolicString
entity
,
entity
and
SymbolicString
等於
基數
卡帕
SymbolicString
and
例
entity
and
Physical
例
entity
and
WebListing
例
SymbolicString
and
Bidding
會員
entity
and
Collection
SymbolicString
是個
bid
對於
entity
患者
entity
and
entity
and 在
Collection
的
bids
數字
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
例
試驗
and
試驗
例
TimeInterval
and
TimeInterval
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
會員
SymbolicString
and
purchases
在
試驗
期間
何時
SymbolicString
and
TimeInterval
and
基數
卡帕
SymbolicString
and
會員
SymbolicString
and
treated
users
在
試驗
例
entity
and
AccessingWebPage
期間
何時
entity
and
TimeInterval
agent
entity
and
SymbolicString
and
purchases
per
user
在
試驗
期間
TimeInterval
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT)))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)))))
(
PPSFn
?EXPERIMENT)))
UXExperimentalTerms.kif 3056-3073
例
試驗
and
試驗
例
Entity
and
TimeInterval
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
會員
SymbolicString
and
purchases
在
試驗
and
基數
卡帕
SymbolicString
and
會員
SymbolicString
and
treated
users
在
試驗
例
entity
and
AccessingWebPage
agent
entity
and
SymbolicString
and
purchases
per
user
在
試驗
(=>
(
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))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1410-1429
例
Device
and
槍
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Device
的
effective
範圍
距離
Device
,
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Organism
Object
之間
Object
,
Object
and
Device
小於或等於
RealNumber
and
RealNumber
SymbolicString
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Killing
患者
SymbolicString
and
Object
,
儀器
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))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1388-1406
例
Device
and
槍
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Device
的
effective
範圍
距離
Device
,
Object
and
測量
RealNumber
and
UnitOfMeasure
Object
之間
Object
,
Object
and
Device
小於或等於
RealNumber
and
RealNumber
SymbolicString
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Damaging
患者
SymbolicString
and
Object
,
儀器
and
Device
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3432-3461
例
可穿戴物品
and
聽力保護
例
Animal
and
Human
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
,
entity
and
entity
例
entity
and
RadiatingSound
例
entity
and
Hearing
例
entity
and
Human
患者
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
體驗者
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
儀器
entity
and
可穿戴物品
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
例
貸款
and
氣球貸款
Day
是
貸款
的
maturity
日期
CurrencyMeasure
是
貸款
的
total
存款
貸款
是
CognitiveAgent
的
borrower
持有義務
卡帕
SymbolicString
and
日期
SymbolicString
and
Day
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
貸款
的
currency
and
CognitiveAgent
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
例
貸款
and
可贖回貸款
CognitiveAgent
lends
貸款
貸款
是
CognitiveAgent
的
borrower
CurrencyMeasure
是
貸款
的
total
存款
例
Process
and
呼叫
agent
Process
and
CognitiveAgent
患者
Process
and
貸款
持有義務
卡帕
SymbolicString
and
目的地
SymbolicString
and
CognitiveAgent
時間
SymbolicString
and
眼前的未來
何時
Process
CurrencyMeasure
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
and
(
instance
?PAGE
SearchResultsPage
)
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?CLICK
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?ELEMENT)
(
destination
?CLICK ?LINKEDPAGE)
(
instance
?ELEMENT
HypertextLink
)
(
component
?ELEMENT ?PAGE)
(
or
(
instance
?LINKEDPAGE
ProductDescriptionPage
)
(
instance
?LINKEDPAGE
ViewItemPage
)))))
(
ListLengthFn
?RESULTS))
(
SRPEngagementFn
?PAGE)))
UXExperimentalTerms.kif 3721-3739
例
SearchResultsPage
and
SearchResultsPage
例
List
and
SRPResults
零件
List
and
SearchResultsPage
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
RequestingHyperlink
患者
SymbolicString
and
entity
目的地
SymbolicString
and
entity
例
entity
and
HypertextLink
零件
entity
and
SearchResultsPage
例
entity
and
ProductDescriptionPage
例
entity
and
ViewItemPage
and
列表長度
List
and
qualifying
clicks
在
SearchResultsPage
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
capability
(
KappaFn
?SHOOTING
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)))
instrument
?GUN))
MilitaryDevices.kif 233-245
例
Physical
and
拋射物
LengthMeasure
是
槍
的
caliber
例
Object
and
槍
寬度
Physical
and
LengthMeasure
1
等於
LengthMeasure
and
LengthMeasure
1
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Shooting
患者
SymbolicString
and
Physical
,
儀器
and
Object
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
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 2956-2983
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Buying
Object
例
Object
and
GeopoliticalArea
AutonomousAgent
Process
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
Buying
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
位於
AutonomousAgent
and
Object
SymbolicString
entity
and
entity
_PURCHASE_AMOUNT
total
價值在
卡帕
SymbolicString
and
例
entity
and
Buying
會員
entity
and
Collection
SymbolicString
是
entity
的
transaction
總額 是
entity
_PURCHASE_AMOUNT
等於
Collection
的
value
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
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
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 2999-3026
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Selling
Object
例
Object
and
GeopoliticalArea
AutonomousAgent
Process
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
Buying
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
位於
AutonomousAgent
and
Object
SymbolicString
entity
and
entity
_SALE_AMOUNT
total
價值在
卡帕
SymbolicString
and
例
entity
and
Selling
會員
entity
and
Collection
SymbolicString
是
entity
的
transaction
總額 是
entity
_SALE_AMOUNT
等於
Collection
的
value
and
entity
_SALE_AMOUNT
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3374-3402
例
可穿戴物品
and
安全套
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
患者
entity
and
Animal
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
and
entity
例
entity
and
Human
體驗者
entity
and
entity
例
entity
and
落下
體驗者
entity
and
entity
原因
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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