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 and
Entity
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 314-314
域
subjectiveAttribute
, 2 and
Attribute
(
domain
subjectiveAttribute
3
AutonomousAgent
)
Dining.kif 315-315
域
subjectiveAttribute
, 3 and
AutonomousAgent
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 312-312
例
subjectiveAttribute
and
TernaryPredicate
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
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
(
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
AutonomousAgent
believes
AutonomousAgent
是
Attribute
例
Attribute
and
FoodRating
例
AutonomousAgent
and
AutonomousAgent
Entity
Process
and
Process
例
Process
and
Cooking
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
例
Process
and
Classifying
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
患者
Process
and
Attribute
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
HotelRating
))
(
attribute
?ENTITY
TravelerAccommodation
))
Hotel.kif 3030-3034
AutonomousAgent
believes
Object
是
Attribute
例
Attribute
and
HotelRating
attribute
Object
and
旅客住宿
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3040-3044
AutonomousAgent
believes
Entity
是
Attribute
例
Attribute
and
RestaurantRating
例
Entity
and
餐廳
(=>
(
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
AutonomousAgent
believes
AutonomousAgent
是
Attribute
例
Attribute
and
ServiceRating
例
AutonomousAgent
and
AutonomousAgent
Process
Process
例
Process
and
服務
agent
Process
and
AutonomousAgent
例
Process
and
Classifying
agent
Process
and
AutonomousAgent
目的地
Process
and
Process
患者
Process
and
Attribute
(=>
(
and
(
subjectiveAttribute
?OBJ ?ATTR ?AGENT)
(
instance
?ATTR
TimeAttribute
))
(
instance
?OBJ
AutonomousAgent
))
Dining.kif 1026-1030
AutonomousAgent
believes
Entity
是
Attribute
例
Attribute
and
TimeAttribute
例
Entity
and
AutonomousAgent
(=>
(
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
CognitiveAgent
believes
Entity
是
Favorite
例
Entity
and
Class
Entity
CognitiveAgent
believes
Entity
是
Favorite
例
Entity
and
Class
偏好
CognitiveAgent
,
想要
CognitiveAgent
and
Entity
and
想要
CognitiveAgent
and
Entity
(=>
(
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
AutonomousAgent
believes
Object
是
韓元
例
Object
and
food
for
Human
Contest
AutonomousAgent
and
Process
AutonomousAgent
entered
Object
在
Contest
例
Process
and
判斷
agent
Process
and
AutonomousAgent
子過程
Process
and
Contest
(=>
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
exists
(?RATE)
(
and
(
instance
?RATE
Classifying
)
(
agent
?RATE ?AGENT)
(
patient
?RATE ?ATTR)
(
destination
?RATE ?ENTITY))))
Dining.kif 318-325
AutonomousAgent
believes
Entity
是
Attribute
Process
例
Process
and
Classifying
agent
Process
and
AutonomousAgent
患者
Process
and
Attribute
目的地
Process
and
Entity
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
CognitiveAgent
believes
Entity
是
Favorite
例
Entity
and
Class
Entity
CognitiveAgent
believes
Entity
是
Favorite
例
Entity
and
Class
偏好
CognitiveAgent
,
想要
CognitiveAgent
and
Entity
and
想要
CognitiveAgent
and
Entity
(=>
(
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
AutonomousAgent
entered
Object
在
Contest
AutonomousAgent
participates
在
Contest
Process
AutonomousAgent
,
Process
and
entity
例
Process
and
Making
結果
Process
and
Object
agent
Process
and
AutonomousAgent
例
Process
and
判斷
agent
Process
and
AutonomousAgent
患者
Process
and
Object
結果
Process
and
AutonomousAgent
believes
Object
是
entity
子過程
Process
and
Contest
(=>
(
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
AutonomousAgent
要求顧客去穿
AmbienceAttribute
模態屬性
entity
entity
例
entity
and
Outfit
AutonomousAgent
believes
entity
是
AmbienceAttribute
持有期間
entity
and
entity
entity
AutonomousAgent
是
entity
的
customer
entity
對於
AutonomousAgent
在時間
entity
located
會員
entity
and
entity
穿
entity
and
entity
and
義務
(=>
(
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
例
Entity
and
增殖
Process
AutonomousAgent
and
Entity
例
Process
and
Classifying
agent
Process
and
AutonomousAgent
例
Entity
and
Increasing
目的地
Process
and
Entity
AutonomousAgent
believes
Entity
是
Quick
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