TreeView Knowledge Base Browser - Itching

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Itching

Itching

appearance as argument number 1

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

Mid-level-ontology.kif 5705-5705

Itching e' uma sub-classe de Percepcao Tactil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5709-5711
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5706-5706
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5707-5707

antecedent

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

Mid-level-ontology.kif 5724-5735

Processo e' uma instancia de Itching Processo e' situado em Objeto Objeto e' uma &parte de Agente Cognitivo Agente Cognitivo experimenta Processo
Agente Cognitivo deseja Entidade Entidade e' uma instancia de Scratching tempo de existencia de Entidade acontece durante tempo de existencia de Processo Entidade e' situado em Objeto

consequent

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

Mid-level-ontology.kif 5748-5758

Processo e' uma instancia de SkinRash AutonomousAgent experimenta Processo
o argumento Entidade Entidade e' uma instancia de Itching AutonomousAgent experimenta Entidade tempo de existencia de Entidade acontece durante tempo de existencia de Processo tem a forca modal de Likely

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