TreeView Knowledge Base Browser - defaultValue

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - defaultValue

defaultValue

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18475-18477
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18479-18479	The number 1 argument of default value is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18480-18480	The number 2 argument of default value is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18481-18481	The number 3 argument of default value is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18478-18478	default value is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18482-18483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65806-65806

antecedent

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

Merge.kif 18485-18490

If The defaultValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS),
then the statement the quantity is equal to the other entity has the modal force of likely

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