TreeView Knowledge Base Browser - PremisesFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PremisesFn

PremisesFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3779-3780
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16903-16904
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16901-16901	The number 1 argument of premises is an instance of argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16900-16900	Premises is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16899-16899	Premises is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16902-16902	The range of premises is an instance of proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 784-784
No TPTP formula. May not be expressible in strict first order.	english_format.kif 784-784
No TPTP formula. May not be expressible in strict first order.	french_format.kif 473-473
No TPTP formula. May not be expressible in strict first order.	english_format.kif 785-785
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 425-425
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 495-495
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 785-785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47198-47198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47197-47197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47196-47196

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16906-16912	If an argument is an instance of argument and a proposition is equal to the premises of argument the argument, then another proposition is a sub-proposition of the proposition if and only if the other proposition is a premise of the argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16864-16873	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

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 16847-16852

If an argument is an instance of argument,
then there exist a proposition and another argument such that the premises of argument the argument is equal to the proposition and the conclusion of argument the other argument is the argument

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