TreeView Knowledge Base Browser - TraitAttribute

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TraitAttribute

TraitAttribute(trait attribute)

Americanism, Anglophobia, Jekyll_and_Hyde, Puritanism, abruptness, abstemiousness, abstention, abstinence, acceptance, accessibility, accumulative, acerbity, acquiescent, acquisitive, acrimony, action, adamance, addicted, adjusted, adventuresome, adventurous, adventurousness, affability, affableness, aggression, aggressiveness, agreeability, agreeableness, alcohol-dependent, alcoholic, allegiance, aloneness, aloof, aloofness, altruistic, ambitious, ambiversion, ambiversive, amenability, amenableness, amiability, amiable, amiableness, amicability, amicableness, amity, anal_personality, anal_retentive_personality, animalism, anthropocentricity...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4047-4048
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18351-18352
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18350-18350	Trait attribute is a subclass of psychological attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15006-15006	Literacy attribute is a subclass of trait attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1269-1269
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1759-1759
No TPTP formula. May not be expressible in strict first order.	french_format.kif 947-947
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 482-482
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 486-486
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2631-2631
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 899-899
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 488-488
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 522-522
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 968-968
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 487-487

appearance as argument number 3

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

Merge.kif 18258-18258

Psychological attribute is exhaustively partitioned into state of mind and trait attribute

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