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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 738-740
(domain entails 1 Formula) Merge.kif 735-735 The number 1 argument of entails is an instance of formula
(domain entails 2 Formula) Merge.kif 736-736 The number 2 argument of entails is an instance of formula
(instance entails BinaryPredicate) Merge.kif 734-734 entails is an instance of binary predicate

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 303-303
(termFormat ChineseLanguage entails "意味") domainEnglishFormat.kif 22111-22111
(termFormat ChineseLanguage entails "蕴涵") chinese_format.kif 296-296
(termFormat ChineseTraditionalLanguage entails "意味") domainEnglishFormat.kif 22110-22110
(termFormat EnglishLanguage entails "entails") domainEnglishFormat.kif 22109-22109

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


(=>
    (and
        (holdsDuring ?TIME ?SITUATION1)
        (entails ?SITUATION1 ?SITUATION2))
    (holdsDuring ?TIME ?SITUATION2))
Merge.kif 3717-3721
(=>
    (and
        (modalAttribute ?FORMULA1 ?PROP)
        (entails ?FORMULA1 ?FORMULA2))
    (modalAttribute ?FORMULA2 ?PROP))
Merge.kif 16076-16080

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 27682-27694
(=>
    (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 15636-15645


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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