TreeView Knowledge Base Browser - Multilingual

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Multilingual

Multilingual(multilingual)

bilingual, multilingual, polyglot, trilingual

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25740-25741
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25739-25739	Multilingual is an instance of relational attribute

appearance as argument number 2

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

Mid-level-ontology.kif 25742-25742

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	If multilingual is an attribute of an agent and a process is an instance of speaking and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of spoken human language and the other entity is an instance of spoken human language and the entity is not equal to the other entity and the entity is a patient of the process or the other entity is a patient of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25744-25746	If multilingual is an attribute of an object, then the object is an instance of human

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