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 773-775
(documentation entails JapaneseLanguage "論理含意のオペレータ。(entails ?FORMULA1 ?FORMULA2) とは、?FORMULA2が、SUO-KIFの証明論によって?FORMULA2から導出できる、という意味であ る。") japanese_format.kif 110-112
(documentation entails SpanishLanguage "El operador de consecuencia lógica. (entails ?FORMULA1 ?FORMULA2) significa que se puede derivar ?FORMULA2 de ?FORMULA1 por medio de la teoría de la demostración de SUO-KIF.") spanish_format.kif 128-130
(domain entails 1 Formula) Merge.kif 770-770 Il numero 1 argomenti di entails è un istanza di Formula
(domain entails 2 Formula) Merge.kif 771-771 Il numero 2 argomenti di entails è un istanza di Formula
(instance entails BinaryPredicate) Merge.kif 769-769 entails è un' istanza di PredicatoBinario

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
(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 JapaneseLanguage entails "%1 は %2 を entail%p{s} %n{ない}") japanese_format.kif 1990-1990
(format PortugueseLanguage entails "%1 %n{nao} implica %n %2") portuguese_format.kif 122-122
(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
(format ro entails "din %1 %n{nu} entail%t{decurge} %2") relations-ro.kif 190-190
(format sv entails "%1 medför %n{inte} %2") relations-sv.txt 177-177
(termFormat ChineseLanguage entails "意味") domainEnglishFormat.kif 22186-22186
(termFormat ChineseLanguage entails "蕴涵") chinese_format.kif 296-296
(termFormat ChineseTraditionalLanguage entails "意味") domainEnglishFormat.kif 22185-22185
(termFormat EnglishLanguage entails "entails") domainEnglishFormat.kif 22184-22184
(termFormat de entails "hatZurFolge") terms-de.txt 120-120

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


(=>
    (and
        (holdsDuring ?TIME ?SITUATION1)
        (entails ?SITUATION1 ?SITUATION2))
    (holdsDuring ?TIME ?SITUATION2))		 Merge.kif 3890-3894
(=>
    (and
        (modalAttribute ?FORMULA1 ?PROP)
        (entails ?FORMULA1 ?FORMULA2))
    (modalAttribute ?FORMULA2 ?PROP))		 Merge.kif 17383-17387

consequent
-------------------------


(=>
    (and
        (attribute ?C Collectible)
        (hasPurpose ?C ?P))
    (exists (?H ?P2)
        (and
            (instance ?H Human)
            (wants ?H ?C)
            (desires ?H ?P2)
            (entails ?P2
                (possesses ?H ?C))
            (not
                (equal ?P ?P2)))))		 Mid-level-ontology.kif 29558-29570
(=>
    (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 16913-16922


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 3.0 is open source software produced by Articulate Software and its partners