TreeView Knowledge Base Browser - NullList

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NullList

NullList(null list)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1960-1961
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2919-2921
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 592-593
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2917-2917	Null list is an instance of list

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41421-41421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41420-41420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41419-41419

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3083-3102	If a list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then the positive integerth element of the list is equal to the positive integerth element of the other list and (length of the other list and the other positive integer)th element of the list is equal to the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3232-3237	If a list is an instance of list and the list is not equal to null list, then the first of the list is equal to 1th element of the list

consequent

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

Merge.kif 3170-3177

If a list is equal to the sub-list from an integer to another integer of another list and (the other integer and the integer) is equal to 0,
then the list is equal to null list

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