Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chart

Sigma KEE - entails
entails

appearance as argument number 1
-------------------------


(documentation entails ChineseLanguage "这是逻辑蕴涵的运算符。(entails ?FORMULA1 ?FORMULA2) 的意思是 ?FORMULA2 可以通过SUO-KIF的证明理论从 ?FORMULA1 得出来。") Merge.kif 796-797
(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 793-795
(domain entails 1 Formula) Merge.kif 791-791
(domain entails 2 Formula) Merge.kif 792-792
(instance entails BinaryPredicate) Merge.kif 790-790

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 180-180
(format FrenchLanguage entails "%1 %n{ne} n�cessite %n{pas} %2") french_format.kif 170-170
(format ItalianLanguage entails "%1 %n{non} implica%p{s} %2") relations-it.txt 95-95
(format PortugueseLanguage entails "%1 %n{nao} implica %n %2") portuguese_format.kif 122-122
(format ar entails "%1 %n{لا} يَسْتَلْزِم %2") arabic_format.kif 115-115
(format cz entails "%1 %n{doesn't} entail%p{s} %2") relations-cz.txt 197-197
(format de entails "%1 hat %2 zur Folge %n{nicht}") relations-de.txt 384-384
(format hi entails "%1 %2 men samaahita %n{nahiin} hai") relations-hindi.txt 135-135
(termFormat ChineseLanguage entails "蕴涵") chinese_format.kif 296-296
(termFormat EnglishLanguage entails "entails") domainEnglishFormat.kif 4119-4119
(termFormat ar entails "«يَسْتَلْزِم»") arabic_format.kif 565-565

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?TIME ?SITUATION1)
        (entails ?SITUATION1 ?SITUATION2))
    (holdsDuring ?TIME ?SITUATION2))
Merge.kif 4006-4010
(=>
    (and
        (modalAttribute ?FORMULA1 ?PROP)
        (entails ?FORMULA1 ?FORMULA2))
    (modalAttribute ?FORMULA2 ?PROP))
Merge.kif 17620-17624

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 27597-27609
(=>
    (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 17088-17097


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners