TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3004-3005
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 785-786
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 787-787	Speaking is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 788-788	Speaking is a subclass of vocalizing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 86-86	Emotional speaking behavior is a subclass of speaking
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15297-15297	Lecture is a subclass of speaking
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15342-15342	Reciting is a subclass of speaking
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54453-54453
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54452-54452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54451-54451

antecedent

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

Mid-level-ontology.kif 25115-25128

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29649-29657	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15312-15325	If a process is an instance of commenting and an entity is an instance of process and the entity is a patient of the process, then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of speaking and the third process is an instance of looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 724-731	If hip hop music is an attribute of an object, then the statement there exist an entity and another entity such that the object is a record of the entity and the other entity is an instance of speaking and the other entity is a subprocess of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2924-2932	If a process is an instance of telephoning, then there exists another process such that the other process is an instance of speaking and the other process is a subprocess of the process and if an agent is an agent of the process, then the agent is an agent of the other process

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

KB Term:			Term intersection

English Word: