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
Die Zahl 1 Argument von
subjectiveAttribute
ist ein
fall
von
Entity
%n{nicht}
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 314-314
Die Zahl 2 Argument von
subjectiveAttribute
ist ein
fall
von
Attribute
%n{nicht}
(
domain
subjectiveAttribute
3
AutonomousAgent
)
Dining.kif 315-315
Die Zahl 3 Argument von
subjectiveAttribute
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 312-312
subjectiveAttribute
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
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
(
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
Wenn
subjectiveAttribute
AutonomousAgent
,
Attribute
and
** AutonomousAgent
und
** Attribute
ist ein
fall
von
FoodRating
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht},
dann es gibt
Entity
,
Process
, and und
** Process
um
** Process
ist ein
fall
von
Cooking
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** ** Process
ist ein
fall
von
Classifying
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** ** Process
endet an
** Entity
%n{nicht} und
** Attribute
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
HotelRating
))
(
attribute
?ENTITY
TravelerAccommodation
))
Hotel.kif 3030-3034
Wenn
subjectiveAttribute
Object
,
Attribute
and
AutonomousAgent
und
** Attribute
ist ein
fall
von
HotelRating
%n{nicht},
dann
TravelerAccommodation
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3040-3044
Wenn
subjectiveAttribute
Entity
,
Attribute
and
AutonomousAgent
und
** Attribute
ist ein
fall
von
RestaurantRating
%n{nicht},
dann
** Entity
ist ein
fall
von
Restaurant
%n{nicht}
(=>
(
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
Wenn
subjectiveAttribute
AutonomousAgent
,
Attribute
and
** AutonomousAgent
und
** Attribute
ist ein
fall
von
ServiceRating
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht},
dann es gibt
Process
und
** Process
um
** Process
ist ein
fall
von
ServiceProcess
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
fall
von
Classifying
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** ** Process
endet an
** Process
%n{nicht} und
** Attribute
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
and
(
subjectiveAttribute
?OBJ ?ATTR ?AGENT)
(
instance
?ATTR
TimeAttribute
))
(
instance
?OBJ
AutonomousAgent
))
Dining.kif 1026-1030
Wenn
subjectiveAttribute
Entity
,
Attribute
and
AutonomousAgent
und
** Attribute
ist ein
fall
von
TimeAttribute
%n{nicht},
dann
** Entity
ist ein
fall
von
AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
subjectiveAttribute
Entity
,
Favorite
and
CognitiveAgent
und
** Entity
ist ein
fall
von
Class
%n{nicht},
dann es gibt
** Entity
um
subjectiveAttribute
** ** Entity
,
Favorite
and
** CognitiveAgent
und
** ** Entity
ist ein
fall
von
** Class
%n{nicht} und
** CognitiveAgent
bevorzugt
** CognitiveAgent
wuenscht
** Entity
%n{nicht} ueber
** CognitiveAgent
wuenscht
** ** Entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
subjectiveAttribute
Object
,
Won
and
AutonomousAgent
und
** Object
ist ein
fall
von
FoodForFn
Human
%n{nicht},
dann es gibt
Contest
,
** AutonomousAgent
, and und
Process
um
contestObject
** Contest
,
** Object
and
** ** AutonomousAgent
und
** Process
ist ein
fall
von
Judging
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
subProzess
von
** Contest
(=>
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
exists
(?RATE)
(
and
(
instance
?RATE
Classifying
)
(
agent
?RATE ?AGENT)
(
patient
?RATE ?ATTR)
(
destination
?RATE ?ENTITY))))
Dining.kif 318-325
Wenn
subjectiveAttribute
Entity
,
Attribute
and
AutonomousAgent
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Classifying
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Attribute
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
** Entity
%n{nicht}
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
Wenn
subjectiveAttribute
Entity
,
Favorite
and
CognitiveAgent
und
** Entity
ist ein
fall
von
Class
%n{nicht},
dann es gibt
** Entity
um
subjectiveAttribute
** ** Entity
,
Favorite
and
** CognitiveAgent
und
** ** Entity
ist ein
fall
von
** Class
%n{nicht} und
** CognitiveAgent
bevorzugt
** CognitiveAgent
wuenscht
** Entity
%n{nicht} ueber
** CognitiveAgent
wuenscht
** ** Entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
contestObject
Contest
,
Object
and
AutonomousAgent
,
dann
contestParticipant
** Contest
and
** AutonomousAgent
und es gibt
Process
,
** AutonomousAgent
,, ,
** Process
, and und
entity
um
** Process
ist ein
fall
von
Making
%n{nicht} und
** Object
ist ein
resultat
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
fall
von
Judging
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
subjectiveAttribute
** Object
,
** entity
and
** ** AutonomousAgent
ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Process
ist ein
subProzess
von
** 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
Wenn
dressCode
AmbienceAttribute
and
AutonomousAgent
,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Outfit
%n{nicht} und
subjectiveAttribute
** entity
,
** AmbienceAttribute
and
** AutonomousAgent
und fuer alle
** entity
und
** entity
customer
** ** entity
and
** AutonomousAgent
und
locatedAtTime
** ** entity
,
** ** entity
and
** AutonomousAgent
und
** ** entity
ist ein
Mitglied
von
** entity
%n{nicht} und
wears
** ** entity
and
** ** entity
haelt
waehrend
** ** entity
%n{nicht} hat die modale Kraft von
Obligation
(=>
(
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
Wenn
Entity
ist ein
fall
von
Proliferation
%n{nicht},
dann es gibt
Process
,
AutonomousAgent
, and und
** Entity
um
** Process
ist ein
fall
von
Classifying
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Entity
ist ein
fall
von
Increasing
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht} und
subjectiveAttribute
** ** Entity
,
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