forall
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
例
Process
and
Keeping
患者
Process
and
Entity
entity
TimePosition
時間部分
TimePosition
and
何時
Process
持有期間
TimePosition
and
位於
Entity
and
entity
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
例
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
中凸的圓形
表面
SelfConnectedObject
and
SelfConnectedObject
例
SelfConnectedObject
and
二維物體
幾何點
部分
幾何點
and
SelfConnectedObject
attribute
幾何點
and
幾何點
點圖
幾何點
and
SelfConnectedObject
空間的符合
幾何點
and
SelfConnectedObject
空間的符合
幾何點
and
SelfConnectedObject
一維圖
切線
一維圖
and
SelfConnectedObject
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
例
Human
and
Human
等於
Human
的後裔 and
FamilyGroup
Organism
會員
Organism
and
FamilyGroup
Human
是
Organism
的
ancestor
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8430-8439
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
例
TimeInterval
and
TimeInterval
等於
時間間隔
TimePoint
and
TimePoint
and
TimeInterval
TimePoint
暫時之間或等於
TimePoint
,
TimePoint
and
TimePoint
時間部分
TimePoint
and
TimeInterval
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
例
Policy
and
DailyHousekeepingPolicy
Organization
enacts
policy
Policy
模態屬性
entity
entity
and
entity
entity
是在
Organization
的
guest
entity
stays
在
entity
等於
entity
and
何時
entity
stays
在
entity
持有期間
entity
and
entity
例
entity
and
Day
期間
entity
and
entity
entity
例
entity
and
RoomCleaningService
患者
entity
and
entity
期間
entity
and
entity
and
容易
(=>
(
and
(
instance
?RELATION
ReflexiveRelation
)
(
reflexiveOn
?RELATION ?CLASS)
(
instance
?RELATION
Predicate
))
(
forall
(?INST)
(=>
(
instance
?INST ?CLASS)
(?RELATION ?INST ?INST))))
Merge.kif 3610-3618
例
BinaryRelation
and
ReflexiveRelation
反思在
BinaryRelation
and
Class
例
BinaryRelation
and
Predicate
Entity
例
Entity
and
Class
BinaryRelation
Entity
and
Entity
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
CognitiveAgent
)
(
agent
?EXPERIMENT ?AGENT)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
forall
(?ATTRIBUTE)
(=>
(
and
(
instance
?ATTRIBUTE
Attribute
)
(
property
?SAMPLE_COLL ?ATTRIBUTE)
(
inScopeOfInterest
?AGENT ?ATTRIBUTE)
(
not
(
equal
?ATTRIBUTE
RepresentativeSample
)))
(
property
?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 501-517
例
entity
_COLL and
Collection
例
entity
_COLL and
Collection
例
試驗
and
試驗
例
CognitiveAgent
and
CognitiveAgent
agent
試驗
and
CognitiveAgent
entity
_COLL 是
entity
_COLL 的
sample
對於
試驗
Attribute
例
Attribute
and
Attribute
屬性
entity
_COLL and
Attribute
在感興趣的範圍內
CognitiveAgent
and
Attribute
等於
Attribute
and
RepresentativeSample
屬性
entity
_COLL and
Attribute
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5306-5314
例
Collection
and
服裝套裝
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
Physical
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
例
Collection
and
Collection
例
CorpuscularObject
and
HypertextLink
Physical
會員
Physical
and
Collection
例
Physical
and
AccessingWebPage
零件
Collection
and
CorpuscularObject
Collection
例
Collection
and
Collection
Process
例
Process
and
RequestingHyperlink
患者
Process
and
CorpuscularObject
會員
Process
and
Collection
等於
點擊通過
CorpuscularObject
的
rate
在
Collection
and
部
基數
Collection
and
基數
Collection
(=>
(
and
(
instance
?WAR
War
)
(
agent
?WAR ?AGENT))
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
and
(
instance
?AGENT
Organization
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?AGENT)
(
instance
?MEMBER
GeopoliticalArea
))))))
Merge.kif 13338-13349
例
Process
and
War
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
GeopoliticalArea
例
AutonomousAgent
and
Organization
Physical
會員
Physical
and
AutonomousAgent
例
Physical
and
GeopoliticalArea
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
例
Object
and
Buffet
attribute
Object
and
Breakfast
模態屬性
entity
會員
entity
and
Object
attribute
entity
and
Breakfast
and
容易
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
例
Collection
and
Outfit
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
Physical
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
HotelReservation
是對於
Integer
seniors
AutonomousAgent
fulfills
HotelReservation
Collection
RealNumber
例
Collection
and
一群人
Physical
會員
Physical
and
Collection
例
Physical
and
人類成人
年齡
Physical
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and 60
Integer
是
Collection
的
member
計數
Collection
是個
potential
customer
對於
AutonomousAgent
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
Physical
由
CognitiveAgent
定的
price
根據
PricingScheme
是
FunctionQuantity
等於
FunctionQuantity
and
測量
RealNumber
and
UnitOfMeasure
是
CurrencyMeasure
的
per
例
UnitOfMeasure
and
UnitOfDuration
立即實例
Entity
and
Physical
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
時間
Process
and
RealNumber
INT
TimeInterval
RealNumber
期間
RealNumber
INT and
TimeInterval
例
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
CognitiveAgent
agent
FinancialTransaction
and
AutonomousAgent
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Object
Object
例
Object
and
HotelUnit
Physical
例
Object
and
HotelUnit
例
Physical
and
Physical
位於
Physical
and
Object
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
次提案
強制選舉法
and
Nation
的
regional
法律
公民
Human
and
Nation
授予義務
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
and
(
trichotomizingOn
?RELATION ?CLASS)
(
instance
?RELATION
RelationExtendedToQuantities
))
(
forall
(?INST1 ?INST2)
(=>
(
and
(
instance
?INST1 ?CLASS)
(
instance
?INST2 ?CLASS))
(
or
(?RELATION ?INST1 ?INST2)
(?RELATION ?INST2 ?INST1)
(
equal
?INST1 ?INST2)))))
Merge.kif 3689-3701
trichotomizing
BinaryRelation
and
Class
例
BinaryRelation
and
RelationExtendedToQuantities
Entity
Entity
例
Entity
and
Class
例
Entity
and
Class
BinaryRelation
Entity
and
Entity
BinaryRelation
Entity
and
Entity
等於
Entity
and
Entity
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
價
Relation
and
PositiveInteger
例
Relation
and
Predicate
@ROW
Relation
@ROW
等於
列表長度
名單
@ROW and
PositiveInteger
(=>
(
attribute
?OBJ
Wet
)
(
forall
(?PART)
(=>
(
part
?PART ?OBJ)
(
exists
(?SUBPART)
(
and
(
part
?SUBPART ?PART)
(
attribute
?SUBPART
Liquid
))))))
Merge.kif 18013-18021
attribute
Object
and
濕
Object
部分
Object
and
Object
Object
部分
Object
and
Object
attribute
Object
and
液體
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
attribute
AutonomousAgent
and
航空工程師
Process
有技巧
Process
and
AutonomousAgent
Process
例
Process
and
Process
Process
Entity
and
Process
T
例
Process
and
Making
例
Entity
and
飛機
例
Entity
and
Process
T
Process
T
typically
是
飛機
的
part
結果
Process
and
Entity
子過程
Process
and
Process
Process
Process
LAN,
Entity
and
Process
T
例
Process
and
設計
例
Entity
and
飛機
例
Entity
and
Process
T
Process
T
typically
是
飛機
的
part
結果
Process
and
Process
LAN
代表
Process
LAN and
Entity
子過程
Process
and
Process
(=>
(
attribute
?X
ExclusiveFemaleLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
Female
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1243-1254
attribute
Object
and
ExclusiveFemaleLevel
Physical
例
Physical
and
HotelRoom
位於
Physical
and
Object
有目的
Physical
and
entity
attribute
entity
and
女
entity
stays
在
Physical
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
attribute
Object
and
ExecutiveLevel
Physical
例
Physical
and
HotelRoom
位於
Physical
and
Object
有目的
Physical
and
entity
attribute
entity
and
BusinessExecutive
例
entity
and
Human
entity
stays
在
Physical
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5369-5374
RealNumber
是
List
的
average
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
RealNumber
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
Process
是
Process
的
causes
子分類
Process
例
Process
and
Process
Process
例
Process
and
Process
原因
Process
and
Process
(=>
(
climateTypeInArea
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))))
Geography.kif 1325-1332
濕熱帶氣候區
是
GeographicArea
地區的
climate
類別
Month
RealNumber
例
Month
and
Month
GeographicArea
對於
測量
RealNumber
and
毫
儀表
在
Month
週期的
average
降雨量
大於或等於
RealNumber
and 60.0
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