TreeView Knowledge Base Browser - language

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - language

language

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1503-1506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1499-1499	The number 1 argument of language is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1500-1500	The number 2 argument of language is an instance of language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1498-1498	language is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1501-1501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65861-65861

consequent

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

Merge.kif 1514-1520

If an entity is an instance of writing,
then there exist a content bearing physical and a language such that the content bearing physical is an instance of text and the language is an instance of written human language and the language is a Language of the content bearing physical.

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