Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PsychologicalAttribute
PsychologicalAttribute(Atributo Psicologico)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4032-4033
No TPTP formula. May not be expressible in strict first order. Merge.kif 18281-18282
No TPTP formula. May not be expressible in strict first order. Merge.kif 18280-18280 O conceito Atributo Psicologico e' completamente decomposto em Estado de Espirito + Atributo Caracteristico
No TPTP formula. May not be expressible in strict first order. Merge.kif 18278-18278 Atributo Psicologico e' uma sub-classe de Atributo Biologico

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18376-18376 Disfuncao Psicologica e' uma sub-classe de Atributo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 18306-18306 Estado de Espirito e' uma sub-classe de Atributo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 18372-18372 Atributo Caracteristico e' uma sub-classe de Atributo Psicologico
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1262-1262
No TPTP formula. May not be expressible in strict first order. english_format.kif 1745-1745
No TPTP formula. May not be expressible in strict first order. french_format.kif 940-940
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 476-476
No TPTP formula. May not be expressible in strict first order. terms-it.txt 479-479
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2624-2624
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 892-892
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 515-515
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 961-961
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 480-480

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18300-18304
No TPTP formula. May not be expressible in strict first order. Merge.kif 18292-18298


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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