TreeView Knowledge Base Browser - Commenting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Commenting

Commenting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15882-15883
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15881-15881	Commenting e' uma sub-classe de Processo Intencional

appearance as argument number 2

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

Mid-level-ontology.kif 15884-15884

antecedent

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

Mid-level-ontology.kif 15886-15899

Processo e' uma instancia de Commenting Entidade e' uma instancia de Processo Entidade e' um patient de Processo
AutonomousAgent Processo and Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Speaking Processo e' uma instancia de Looking Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo inclui uma referencia a Entidade

consequent

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

Mid-level-ontology.kif 15907-15913

commentator AutonomousAgent and Processo
Processo Processo e' uma instancia de Commenting Processo e' um agente de AutonomousAgent Processo e' um patient de Processo

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