Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
conforms
Sigma KEE - conforms
conforms
appearance as argument number 1
(
documentation
conforms
EnglishLanguage
"(
conforms
?OBJ ?PROP) describes how ?OBJ follows the ideas outlined by ?PROP")
Mid-level-ontology.kif 26819-26820
(
domain
conforms
1
Object
)
Mid-level-ontology.kif 26823-26823
The number 1 argument of
conforms
is an
instance
of
object
(
domain
conforms
2
Proposition
)
Mid-level-ontology.kif 26824-26824
The number 2 argument of
conforms
is an
instance
of
proposition
(
instance
conforms
BinaryPredicate
)
Mid-level-ontology.kif 26818-26818
conforms
is an
instance
of
binary predicate
(
subrelation
conforms
represents
)
Mid-level-ontology.kif 26817-26817
conforms
is a
subrelation
of
represents
appearance as argument number 2
(
format
ChineseLanguage
conforms
"%1
conforms
對 %2 ")
domainEnglishFormat.kif 3070-3070
(
format
ChineseTraditionalLanguage
conforms
"%1
conforms
對 %2 ")
domainEnglishFormat.kif 3069-3069
(
format
EnglishLanguage
conforms
"%1
conforms
to %2")
domainEnglishFormat.kif 3068-3068
(
termFormat
EnglishLanguage
conforms
"conforms")
Mid-level-ontology.kif 26821-26821
antecedent
(=>
(
conforms
?OBJ
AmericansWithDisabilitiesAct
)
(
attribute
?OBJ
HandicappedFriendly
))
Mid-level-ontology.kif 26826-26828
If
an object
conforms
to
ADA
,
then
handicapped friendly
is an
attribute
of
the object
consequent
(=>
(
approves
?AGENT1 ?AGENT2)
(
exists
(?PROP)
(
believes
?AGENT1
(
conforms
?AGENT2 ?PROP))))
Mid-level-ontology.kif 26847-26851
If
a cognitive agent
approves
another cognitive agent
,
then there exists
an entity
such that
the cognitive agent
believe
s
the other cognitive agent
conforms
to
the entity
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