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 13547-13558
Wenn
defaultMaximumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
Class
ist eine
teilkategorie
von
NonCompositeUnitOfMeasure
und
** UnitOfMeasure
ist ein
fall
von
** Class
%n{nicht},
dann die Aussage es gibt
entity
,
** RealNumber
UANTITY, and und
** entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** ** entity
(s) %n{nicht} und
** ** entity
ist ein
fall
von
** Class
%n{nicht} und
** RealNumber
UANTITY
** ** entity
(s) ist
groesserAls
** RealNumber
** UnitOfMeasure
(s) %n{nicht} hat die modale Kraft von
Unlikely
(=>
(
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
Wenn
Oversized
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
direkter
fall von
Class
und
** Class
ist eine
teilkategorie
von
HotelUnit
,
dann es gibt
Physical
,
RealNumber
,, ,
** RealNumber
, and und
UnitOfMeasure
um
** Physical
ist ein
direkter
fall von
** Class
und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und das
mass
von
** Physical
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** ** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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 13516-13527
Wenn
defaultMinimumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
Class
ist eine
teilkategorie
von
NonCompositeUnitOfMeasure
und
** UnitOfMeasure
ist ein
fall
von
** Class
%n{nicht},
dann die Aussage es gibt
entity
,
** RealNumber
UANTITY, and und
** entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** ** entity
(s) %n{nicht} und
** ** entity
ist ein
fall
von
** Class
%n{nicht} und
** RealNumber
UANTITY ist
kleinerAls
** RealNumber
%n{nicht} hat die modale Kraft von
Unlikely
(=>
(
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
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
** Human
ist ein
patient
von
Process
%n{nicht} und
** Process
ist ein
fall
von
** ** Physical
%n{nicht} oder
** Process
ist ein
fall
von
** ** Physical
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** Process
befindet
sich an %n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Process
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
freeRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
** ** Physical
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} oder
** Object
ist ein
instrument
fuer
** Process
%n{nicht} oder
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann
price
** Object
, 0
UnitedStatesDollar
(s) and
** Human
(=>
(
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
Wenn
subjectiveAttribute
AutonomousAgent
,
Quick
and
** AutonomousAgent
und
subjectiveAttribute
** AutonomousAgent
,
Slow
and
** ** AutonomousAgent
und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
Process
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht},
dann
UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
** ** Physical
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Process
befindet
sich an %n{nicht} oder
** Object
ist ein
patient
von
** Process
%n{nicht} oder
** Object
ist ein
instrument
fuer
** Process
%n{nicht} oder
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Object
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
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 13798-13807
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und 29.92 ist
groesserAls
** RealNumber
%n{nicht} und
boilingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
Gas
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
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 13820-13829
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
meltingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
barometricPressure
** Object
and
** RealNumber
InchMercury
(s) und
** ** RealNumber
ist
groesserAls
29.92 %n{nicht} und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Solid
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
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
Wenn
freeRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
** Human
ist ein
patient
von
Process
%n{nicht} und
** Process
ist ein
fall
von
** ** Physical
%n{nicht} oder
** Process
ist ein
fall
von
** ** Physical
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** Process
befindet
sich an %n{nicht},
dann
price
** Process
, 0.0
UnitedStatesDollar
(s) and
** Human
(=>
(
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 13809-13818
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
boilingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
meltingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Liquid
ist ein
attribut
von
** Object
%n{nicht}
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