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	The number 1 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 771-771	The number 2 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 769-769	entails is an instance of binary predicate

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	If a formula holds during a time position and the formula entails another formula, then the other formula holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17312-17316	If the statement a formula has the modal force of a normative attribute and the formula entails another formula, then the statement the other formula has the modal force of the normative attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29507-29519	If Collectible is an attribute of an object and the object has the purpose a formula, then there exist a cognitive agent and the formula2 such that the cognitive agent is an instance of human and the cognitive agent wants the object and the cognitive agent desires the formula2 and the formula2 entails the cognitive agent possesses the object and the formula is not equal to the formula2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16842-16851	If an argument is an instance of valid deductive argument and a formula is equal to the premises of argument the argument and the conclusion of argument another formula is the argument, then there exist a content bearing physical and another content bearing physical such that the content bearing physical contains information the formula and the other content bearing physical contains information the other formula and the formula entails the other 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