Learning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Learning

Learning(learning)

absorb, accommodation, acculturation, acquire, acquisition, alternate, appreciated, apprehended, apprentice, ascertain, assimilate, assimilation, attain, audio_lingual_acquisition, audit, beat_in, bone, bone_up, brainwash, breakthrough, breeding, bump, carry-over, catch_up, chance, chance_on, chance_upon, come_across, come_upon, committal_to_memory, comprehended, conclusion, cram, decision, determination, determine, determined, develop, developmental_learning, diagnosing, diagnosis, digestion, din, discover, discovery, disproof, drill, drill_in, drum, echo_sounding...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3111-3111
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11940-11941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11939-11939	Learning is a subclass of intentional psychological process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18221-18221	Memorizing is a subclass of learning
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1144-1144
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1505-1505
No TPTP formula. May not be expressible in strict first order.	french_format.kif 822-822
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 354-354
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 357-357
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2506-2506
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 774-774
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 359-359
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 393-393
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 843-843
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 358-358

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11949-11956	If a process is an instance of learning and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the beginning of the time of existence of the process and the agent knows the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11943-11947	If a process is an instance of learning and an agent is an agent of the process, then the agent is an instance of cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11973-11982	If a process is an instance of discovering and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then there exists another process such that the other process is an instance of learning and the other process is a subprocess of the process and the entity is located at the other entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11631-11639	If a process is an instance of educational process and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of learning and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	If a process is an instance of foreign internal defense and an agent is an agent of the process and another agent experiences the process, then the process has the purpose there exist an entity and another entity such that the other entity is an instance of learning and the entity experiences the other entity and the agent is an agent of the other entity and the other agent is a military of area of the entity or the entity is an instance of military force and the entity is located at the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21354-21361	If a kind of field of study has an expertise in a human, then there exist a process and a proposition such that the process is an instance of learning and the human is an agent of the process and the proposition is an instance of a kind of field of study and the process expresses the content of the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22493-22500	If an object is an instance of school building, then there exist a process and another object such that the process is an instance of learning and the other object is a patient of the process and student is an attribute of the other object and the process is located at the object

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