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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PsychologicalAttribute

 Sigma KEE - PsychologicalAttribute
PsychologicalAttribute

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 18259-18260
No TPTP formula. May not be expressible in strict first order. Merge.kif 18258-18258 劃分 PsychologicalAttribute, StateOfMind and TraitAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18256-18256 子類 PsychologicalAttribute and BiologicalAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18354-18354 子類 PsychologicalDysfunction and PsychologicalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18284-18284 子類 StateOfMind and PsychologicalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18350-18350 子類 TraitAttribute and PsychologicalAttribute
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 18278-18282
No TPTP formula. May not be expressible in strict first order. Merge.kif 18270-18276


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