TreeView Knowledge Base Browser - entails

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1543-1544
No TPTP formula. May not be expressible in strict first order.	Merge.kif 773-775
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 110-112
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 128-130
No TPTP formula. May not be expressible in strict first order.	Merge.kif 770-770	域意味, 1 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 771-771	域意味, 2 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 769-769	例意味 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 295-295
No TPTP formula. May not be expressible in strict first order.	english_format.kif 300-300
No TPTP formula. May not be expressible in strict first order.	french_format.kif 170-170
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 95-95
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1990-1990
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 122-122
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 197-197
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 384-384
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 135-135
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 190-190
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 177-177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22186-22186
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22185-22185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22184-22184
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 120-120

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3889-3893	持有期間 TimePosition and Formula 意味 Formula and Formula 持有期間 TimePosition and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17312-17316	模態屬性 Formula and NormativeAttribute 意味 Formula and Formula 模態屬性 Formula and NormativeAttribute

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29507-29519	attribute Object and Collectible 有目的 Object and Formula CognitiveAgent Formula 例 CognitiveAgent and Human 想要 CognitiveAgent and Object 慾望 CognitiveAgent and Formula 意味 Formula and 擁有 CognitiveAgent and Object 等於 Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16842-16851	例爭論 and 有效的演繹論證等於 Formula and 房地爭論結論 Formula and 爭論內容承載物理內容承載物理包含信息內容承載物理 and Formula 包含信息內容承載物理 and Formula 意味 Formula and Formula

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