Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
FamilyClothingStores
Sigma KEE - uses
uses
appearance as argument number 1
(
documentation
uses
ChineseLanguage
"(
uses
?OBJECT AGENT) 的意思是 ?AGENT 在一个没有指定的
Process
所用的工具是 ?OBJECT,这个
Predicate
就如它的定义所说的,由
CaseRole
、
agent
和
instrument
构成。")
chinese_format.kif 2209-2211
(
documentation
uses
EnglishLanguage
"(
uses
?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified
Process
. This
Predicate
, as its corresponding axiom indicates, is a composition of the
CaseRole
s
agent
and
instrument
.")
Merge.kif 4672-4675
(
documentation
uses
JapaneseLanguage
"(
uses
?OBJECT AGENT) とは、?OBJECTが ?AGENT によっ て不特定の
Process
の計測器として使用される、という意味である。 この
Predicate
は、その対応す る公理が示すように、
CaseRole
s
agent
および
instrument
の組成物である。")
japanese_format.kif 873-875
(
domain
uses
1
Object
)
Merge.kif 4669-4669
Die Zahl 1 Argument von
verwendet
ist ein
fall
von
Object
%n{nicht}
(
domain
uses
2
AutonomousAgent
)
Merge.kif 4670-4670
Die Zahl 2 Argument von
verwendet
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
uses
AsymmetricRelation
)
Merge.kif 4668-4668
verwendet
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
uses
BinaryPredicate
)
Merge.kif 4667-4667
verwendet
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
uses
"%2 %n{doesn't}
uses
%1")
chinese_format.kif 247-247
(
format
EnglishLanguage
uses
"%2 %n{doesn't} use%p{s} %1")
english_format.kif 248-248
(
format
FrenchLanguage
uses
"%2 %n{n'} utilise %n{pas} %1")
french_format.kif 140-140
(
format
ItalianLanguage
uses
"%2 usa %1")
relations-it.txt 308-308
(
format
JapaneseLanguage
uses
"%2 は %1 を use%p{s} %n{ない}")
japanese_format.kif 1972-1972
(
format
PortugueseLanguage
uses
"%2 %n{nao} usa %n %1")
portuguese_format.kif 92-92
(
format
de
uses
"%2 verwendet %1")
relations-de.txt 317-317
(
format
hi
uses
"%2 %1 kaa upayoga karataa hai")
relations-hindi.txt 344-344
(
format
ro
uses
"%2 %n{nu} use%t{foloseºte} %1")
relations-ro.kif 159-159
(
format
sv
uses
"%2 använder %n{inte} %1")
relations-sv.txt 145-145
(
format
tg
uses
"%2 ay gamitin %1")
relations-tg.txt 500-500
(
termFormat
ChineseLanguage
uses
"使用")
domainEnglishFormat.kif 60862-60862
(
termFormat
ChineseLanguage
uses
"用")
chinese_format.kif 248-248
(
termFormat
ChineseTraditionalLanguage
uses
"使用")
domainEnglishFormat.kif 60861-60861
(
termFormat
EnglishLanguage
uses
"uses")
domainEnglishFormat.kif 60860-60860
(
termFormat
de
uses
"verwendet")
terms-de.txt 102-102
antecedent
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
Wenn
freeFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann
price
** Object
, 0
UnitedStatesDollar
(s) and
** AutonomousAgent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
Wenn
freePropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann
price
** Process
, 0
UnitedStatesDollar
(s) and
** AutonomousAgent
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 25873-25885
Wenn
Object
ist ein
fall
von
KnockLight
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Deaf
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
verwendet
** Object
,
dann
** Object
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Impacting
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Door
%n{nicht} und
** AutonomousAgent
kennt
** entity
%n{nicht} %n{nicht}
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
Wenn
paidFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Object
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
Wenn
paidPropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Process
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
uses
?OBJ ?AGENT)
(
exists
(?PROC)
(
and
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?OBJ))))
Merge.kif 4677-4682
Wenn
AutonomousAgent
verwendet
Object
,
dann es gibt
Process
um
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht}
consequent
(=>
(
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
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
Wenn
facility
AutonomousAgent
and
Object
und
customer
CognitiveAgent
and
** AutonomousAgent
und
Entity
ist ein
fall
von
** Object
%n{nicht} und
** CognitiveAgent
wuenscht es gibt
** entity
um
** ** entity
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} %n{nicht},
dann die Aussage
** AutonomousAgent
erlaubt
** CognitiveAgent
, die Aufgabe der Art von
** CognitiveAgent
verwendet
** Entity
durchzuf�hren %n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?R
Renting
)
(
agent
?R ?A)
(
patient
?R ?O))
(
holdsDuring
(
WhenFn
?R)
(
modalAttribute
(
uses
?O ?A)
Permission
)))
Mid-level-ontology.kif 22478-22485
Wenn
Process
ist ein
fall
von
Renting
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann die Aussage
** AutonomousAgent
verwendet
** Entity
hat die modale Kraft von
Permission
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
agent
?Using ?Agent))
(
uses
?Resource ?Agent))
QoSontology.kif 1966-1971
Wenn
ComputerProcess
ist ein
fall
von
UsingAResource
%n{nicht} und
resourceUsed
** ComputerProcess
and
ComputerResource
und
** ComputerProcess
ist der
agent
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
verwendet
** ComputerResource
(=>
(
attribute
?User
ComputerUser
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
uses
?Computer ?User))))
QoSontology.kif 1723-1728
Wenn
ComputerUser
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Computer
%n{nicht} und
** AutonomousAgent
verwendet
** Object
(=>
(
dateUsed
?OBJECT ?DATE ?AGENT)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
patient
?PROCESS ?OBJECT)
(
agent
?PROCESS ?AGENT)
(
uses
?OBJECT ?AGENT)
(
overlapsTemporally
?DATE
(
WhenFn
?PROCESS)))))
Mid-level-ontology.kif 991-999
Wenn
dateUsed
Object
,
TimeInterval
and
AutonomousAgent
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Process
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
verwendet
** Object
und die
zeit
des Bestehens von
** Process
deckt
sich mit
** TimeInterval
%n{nicht}
(=>
(
instance
?A
MilitaryArtifact
)
(
hasPurpose
?A
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?A ?O)))))
Mid-level-ontology.kif 17860-17866
Wenn
Physical
ist ein
fall
von
MilitaryArtifact
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
MilitaryOrganization
%n{nicht} und
** entity
verwendet
** Physical
%n{nicht}
(=>
(
instance
?V
MilitaryVehicle
)
(
hasPurpose
?V
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?V ?O)))))
Military.kif 137-143
Wenn
Physical
ist ein
fall
von
MilitaryVehicle
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
MilitaryOrganization
%n{nicht} und
** entity
verwendet
** Physical
%n{nicht}
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4254-4256
Wenn
AutonomousAgent
besitzt
Object
%n{nicht},
dann die Aussage
** AutonomousAgent
verwendet
** Object
hat die modale Kraft von
Permission
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