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
entails
Sigma KEE - entails
entails
appearance as argument number 1
(
documentation
entails
ChineseLanguage
"这是逻辑蕴涵的运算符。(
entails
?FORMULA1 ?FORMULA2) 的意思是 ?FORMULA2 可以通过SUO-KIF的证明理论从 ?FORMULA1 得出来。")
chinese_format.kif 1543-1544
(
documentation
entails
EnglishLanguage
"The operator of logical entailment. (
entails
?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF.")
Merge.kif 756-758
(
domain
entails
1
Formula
)
Merge.kif 753-753
(
domain
entails
2
Formula
)
Merge.kif 754-754
(
instance
entails
BinaryPredicate
)
Merge.kif 752-752
appearance as argument number 2
(
format
ChineseLanguage
entails
"%1 %n{doesn't}
entails
%2")
chinese_format.kif 295-295
(
format
EnglishLanguage
entails
"%1 %n{doesn't} entail%p{s} %2")
english_format.kif 300-300
(
termFormat
ChineseLanguage
entails
"意味")
domainEnglishFormat.kif 22179-22179
(
termFormat
ChineseLanguage
entails
"蕴涵")
chinese_format.kif 296-296
(
termFormat
ChineseTraditionalLanguage
entails
"意味")
domainEnglishFormat.kif 22178-22178
(
termFormat
EnglishLanguage
entails
"entails")
domainEnglishFormat.kif 22177-22177
antecedent
(=>
(
and
(
holdsDuring
?TIME ?SITUATION1)
(
entails
?SITUATION1 ?SITUATION2))
(
holdsDuring
?TIME ?SITUATION2))
Merge.kif 3808-3812
(=>
(
and
(
modalAttribute
?FORMULA1 ?PROP)
(
entails
?FORMULA1 ?FORMULA2))
(
modalAttribute
?FORMULA2 ?PROP))
Merge.kif 17052-17056
consequent
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 28895-28907
(=>
(
and
(
instance
?ARGUMENT
ValidDeductiveArgument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT))
(
conclusion
?CONCLUSION ?ARGUMENT))
(
exists
(?FORMULA1 ?FORMULA2)
(
and
(
containsInformation
?FORMULA1 ?PREMISES)
(
containsInformation
?FORMULA2 ?CONCLUSION)
(
entails
?PREMISES ?CONCLUSION))))
Merge.kif 16560-16569
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