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
subjectiveAttribute
Sigma KEE - subjectiveAttribute
subjectiveAttribute
appearance as argument number 1
(
documentation
subjectiveAttribute
EnglishLanguage
"(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT) means that ?AGENT attaches ?ATTR to ?ENTITY")
Dining.kif 310-311
(
domain
subjectiveAttribute
1
Entity
)
Dining.kif 313-313
subjectiveAttribute
の数値 1 引数は
エンティティー
の
instance
では %n
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 314-314
subjectiveAttribute
の数値 2 引数は
属性
の
instance
では %n
(
domain
subjectiveAttribute
3
AutonomousAgent
)
Dining.kif 315-315
subjectiveAttribute
の数値 3 引数は
AutonomousAgent
の
instance
では %n
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 312-312
subjectiveAttribute
は
3進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
subjectiveAttribute
"%3
believes
%1 是 %2 ")
domainEnglishFormat.kif 4690-4690
(
format
ChineseTraditionalLanguage
subjectiveAttribute
"%3
believes
%1 是 %2 ")
domainEnglishFormat.kif 4689-4689
(
format
EnglishLanguage
subjectiveAttribute
"%3
believes
%1 is %2")
domainEnglishFormat.kif 4688-4688
(
termFormat
EnglishLanguage
subjectiveAttribute
"subjective attribute")
Dining.kif 316-316
antecedent
(=>
(
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
subjectiveAttribute
AutonomousAgent
,
Quick
and
AutonomousAgent
subjectiveAttribute
AutonomousAgent
,
Slow
and
AutonomousAgent
工程
は
クラス
の
instance
では %n
工程
は
クラス
の
instance
では %n
クラス
は
工程
の
subclass
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3062-3075
subjectiveAttribute
AutonomousAgent
,
属性
and
AutonomousAgent
属性
は
FoodRating
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
工程
and
工程
工程
は
料理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
工程
は
分類
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
属性
は
工程
の
patient
では %n
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
HotelRating
))
(
attribute
?ENTITY
TravelerAccommodation
))
Hotel.kif 3030-3034
subjectiveAttribute
オブジェクト
,
属性
and
AutonomousAgent
属性
は
HotelRating
の
instance
では %n
TravelerAccommodation
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3040-3044
subjectiveAttribute
エンティティー
,
属性
and
AutonomousAgent
属性
は
RestaurantRating
の
instance
では %n
エンティティー
は
Restaurant
の
instance
では %n
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
ServiceRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?SVC ?CLASSIFY)
(
and
(
instance
?SVC
ServiceProcess
)
(
agent
?SVC ?ENTITY)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?SVC)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3091-3103
subjectiveAttribute
AutonomousAgent
,
属性
and
AutonomousAgent
属性
は
ServiceRating
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
工程
工程
は
ServiceProcess
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
分類
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
に
end
s %n{ない}
属性
は
工程
の
patient
では %n
(=>
(
and
(
subjectiveAttribute
?OBJ ?ATTR ?AGENT)
(
instance
?ATTR
TimeAttribute
))
(
instance
?OBJ
AutonomousAgent
))
Dining.kif 1026-1030
subjectiveAttribute
エンティティー
,
属性
and
AutonomousAgent
属性
は
TimeAttribute
の
instance
では %n
エンティティー
は
AutonomousAgent
の
instance
では %n
(=>
(
and
(
subjectiveAttribute
?X
Favorite
?AGENT)
(
instance
?X ?CLASS))
(
exists
(?Y)
(
and
(
not
(
subjectiveAttribute
?Y
Favorite
?AGENT))
(
instance
?Y ?CLASS)
(
prefers
?AGENT
(
wants
?AGENT ?X)
(
wants
?AGENT ?Y)))))
Dining.kif 1012-1020
subjectiveAttribute
エンティティー
,
Favorite
and
認識エージェント
エンティティー
は
クラス
の
instance
では %n
エンティティー
subjectiveAttribute
エンティティー
,
Favorite
and
認識エージェント
エンティティー
は
クラス
の
instance
では %n
認識エージェント
は
認識エージェント
は
エンティティー
を
want
s %n{ない} よりも
認識エージェント
は
エンティティー
を
want
s %n{ない} を
prefer
s %n{ない}
(=>
(
and
(
subjectiveAttribute
?X
Won
?JUDGE)
(
instance
?X
(
FoodForFn
Human
)))
(
exists
(?CONTEST ?AGENT ?PROC)
(
and
(
contestObject
?CONTEST ?X ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
subProcess
?PROC ?CONTEST))))
Dining.kif 900-909
subjectiveAttribute
オブジェクト
,
Won
and
AutonomousAgent
オブジェクト
は
FoodForFn
人[人間]
の
instance
では %n
コンテスト
AutonomousAgent
and
工程
contestObject
コンテスト
,
オブジェクト
and
AutonomousAgent
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
コンテスト
% の
subprocess
では %n
(=>
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
exists
(?RATE)
(
and
(
instance
?RATE
Classifying
)
(
agent
?RATE ?AGENT)
(
patient
?RATE ?ATTR)
(
destination
?RATE ?ENTITY))))
Dining.kif 318-325
subjectiveAttribute
エンティティー
,
属性
and
AutonomousAgent
工程
工程
は
分類
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
属性
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
consequent
(=>
(
and
(
subjectiveAttribute
?X
Favorite
?AGENT)
(
instance
?X ?CLASS))
(
exists
(?Y)
(
and
(
not
(
subjectiveAttribute
?Y
Favorite
?AGENT))
(
instance
?Y ?CLASS)
(
prefers
?AGENT
(
wants
?AGENT ?X)
(
wants
?AGENT ?Y)))))
Dining.kif 1012-1020
subjectiveAttribute
エンティティー
,
Favorite
and
認識エージェント
エンティティー
は
クラス
の
instance
では %n
エンティティー
subjectiveAttribute
エンティティー
,
Favorite
and
認識エージェント
エンティティー
は
クラス
の
instance
では %n
認識エージェント
は
認識エージェント
は
エンティティー
を
want
s %n{ない} よりも
認識エージェント
は
エンティティー
を
want
s %n{ない} を
prefer
s %n{ない}
(=>
(
contestObject
?CONTEST ?OBJ ?AGENT)
(
and
(
contestParticipant
?CONTEST ?AGENT)
(
exists
(?MAKE ?JUDGE ?PROC ?AFTR)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?AFTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 883-896
contestObject
コンテスト
,
オブジェクト
and
AutonomousAgent
contestParticipant
コンテスト
and
AutonomousAgent
工程
AutonomousAgent
,
工程
and
エンティティー
工程
は
作る
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
subjectiveAttribute
オブジェクト
,
エンティティー
and
AutonomousAgent
は
工程
の
result
では %n
工程
は
コンテスト
% の
subprocess
では %n
(=>
(
dressCode
?CODE ?AGENT)
(
modalAttribute
(
exists
(?OUTFIT ?T)
(
and
(
instance
?OUTFIT
Outfit
)
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
holdsDuring
?T
(
forall
(?CUST ?ITEM)
(
and
(
customer
?CUST ?AGENT)
(
locatedAtTime
?CUST ?T ?AGENT)
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM))))))
Obligation
))
Dining.kif 492-505
dressCode
AmbienceAttribute
and
AutonomousAgent
ステートメント
エンティティー
エンティティー
エンティティー
は
Outfit
の
instance
では %n
subjectiveAttribute
エンティティー
,
AmbienceAttribute
and
AutonomousAgent
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
locatedAtTime
エンティティー
,
エンティティー
and
AutonomousAgent
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
during
holds %n{ない} には
Obligation
の
modal
force
が ある
(=>
(
instance
?P
Proliferation
)
(
exists
(?C ?A ?I)
(
and
(
instance
?C
Classifying
)
(
agent
?C ?A)
(
instance
?I
Increasing
)
(
destination
?C ?I)
(
subjectiveAttribute
?I
Quick
?A))))
MilitaryProcesses.kif 1437-1445
エンティティー
は
Proliferation
の
instance
では %n
工程
AutonomousAgent
and
エンティティー
工程
は
分類
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
増加
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
subjectiveAttribute
エンティティー
,
Quick
and
AutonomousAgent
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