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
rents
Sigma KEE - rents
rents
appearance as argument number 1
(
documentation
rents
EnglishLanguage
"(
rents
?CUST ?AGENT ?OBJ ?TI) means that for
TimeInterval
?TI,
CognitiveAgent
?CUST is
Renting
Object
?OBJ from
CognitiveAgent
?AGENT")
Mid-level-ontology.kif 29987-29989
(
domain
rents
1
AutonomousAgent
)
Mid-level-ontology.kif 29996-29996
rents
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
rents
2
AutonomousAgent
)
Mid-level-ontology.kif 29997-29997
rents
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
domain
rents
3
Object
)
Mid-level-ontology.kif 29998-29998
rents
の数値 3 引数は
オブジェクト
の
instance
では %n
(
domain
rents
4
TimeInterval
)
Mid-level-ontology.kif 29999-29999
rents
の数値 4 引数は
時間間隔
の
instance
では %n
(
instance
rents
QuaternaryPredicate
)
Mid-level-ontology.kif 29986-29986
rents
は
4進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
rents
"%2
rents
%3 给 %1 在其间 %4 ")
domainEnglishFormat.kif 4386-4386
(
format
ChineseTraditionalLanguage
rents
"%2
rents
%3 給 %1 在其間 %4 ")
domainEnglishFormat.kif 4385-4385
(
format
EnglishLanguage
rents
"%2
rents
%3 to %1 during %4")
domainEnglishFormat.kif 4384-4384
(
termFormat
EnglishLanguage
rents
"rents")
Mid-level-ontology.kif 29990-29990
antecedent
(=>
(
and
(
rents
?GUEST ?HOTEL ?ROOM ?TI)
(
attribute
?HOTEL
TravelerAccommodation
)
(
instance
?ROOM
HotelUnit
))
(
holdsDuring
?TI
(
guest
?GUEST ?HOTEL)))
Hotel.kif 69-75
rents
AutonomousAgent
,
AutonomousAgent
,
オブジェクト
and
時間間隔
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
guest
AutonomousAgent
and
AutonomousAgent
は
時間間隔
の
during
holds %n{ない}
(=>
(
rents
?CUST ?AGENT ?OBJ ?TI)
(
holdsDuring
?TI
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?OBJ)
(
agent
?RENT ?CUST)
(
possesses
?AGENT ?OBJ)))))
Mid-level-ontology.kif 30001-30009
rents
AutonomousAgent
,
AutonomousAgent
,
オブジェクト
and
時間間隔
エンティティー
エンティティー
は
Renting
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない} は
時間間隔
の
during
holds %n{ない}
consequent
(=>
(
attribute
?X
TravelerAccommodation
)
(
hasPurpose
?X
(
exists
(?GUEST ?ROOM ?TI)
(
and
(
rents
?GUEST ?X ?ROOM ?TI)
(
instance
?ROOM
HotelUnit
)
(
element
?ROOM
(
PropertyFn
?X))))))
Hotel.kif 45-52
TravelerAccommodation
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
rents
エンティティー
,
オブジェクト
,
エンティティー
and
エンティティー
エンティティー
は
HotelUnit
の
instance
では %n
エンティティー
は
オブジェクト
の
belongings
の
element
%n の 目的 %n{ない}
(=>
(
instance
?ROOM
HotelUnit
)
(
hasPurpose
?ROOM
(
exists
(?AGENT ?CUST ?TI)
(
and
(
not
(
equal
?AGENT ?CUST))
(
element
?ROOM
(
PropertyFn
?AGENT))
(
rents
?CUST ?AGENT ?ROOM ?TI)))))
Hotel.kif 110-117
物理
は
HotelUnit
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
と
equal
では
物理
は
エンティティー
の
belongings
の
element
%n
rents
エンティティー
,
エンティティー
,
物理
and
エンティティー
の 目的 %n{ない}
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