Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13546-13557
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
比較多
測量
RealNumber
UANTITY and
entity
and
測量
RealNumber
and
UnitOfMeasure
and
較不可能
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
attribute
Object
and
Oversized
立即實例
Object
and
Class
子類
Class
and
HotelUnit
Physical
RealNumber
,
RealNumber
and
UnitOfMeasure
立即實例
Physical
and
Class
例
UnitOfMeasure
and
UnitOfArea
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
and
AreaMeasure
例
RealNumber
and
AreaMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13515-13526
Object
的
minimum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
少於
RealNumber
UANTITY and
RealNumber
and
較不可能
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
RICE
UnitOfMeasure
Process
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Object
是 對於
Human
的
price
測量
0 and
美國美元
(=>
(
and
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
AutonomousAgent
believes
AutonomousAgent
是
Quick
AutonomousAgent
believes
AutonomousAgent
是
Slow
例
Process
and
Class
例
Process
and
Class
子類
Class
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfDuration
持續時間
何時
Process
and
測量
RealNumber
and
UnitOfMeasure
持續時間
何時
Process
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
位於
Process
and
暫住
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Process
RICE
UnitOfMeasure
Object
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13820-13829
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
29.92 and
RealNumber
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
attribute
Object
and
加油站
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13842-13851
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
RealNumber
and 29.92
測量
Object
and
測量
RealNumber
and
凱文度
少於
RealNumber
and
RealNumber
attribute
Object
and
固體
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
是 對於
Human
的
price
測量
0.0 and
美國美元
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13831-13840
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
attribute
Object
and
液體
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