TreeView Knowledge Base Browser - Learning

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Learning

Learning

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 11962-11963
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11961-11961	子類 Learning and IntentionalPsychologicalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18220-18220	子類記憶 and 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 11971-11978	例 Process and Learning agent Process and AutonomousAgent 患者 Process and Entity 持有期間開始何時 Process and 知道 AutonomousAgent and Entity 持有期間結束何時 Process and 知道 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11965-11969	例 Process and Learning agent Process and AutonomousAgent 例 AutonomousAgent and CognitiveAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-12004	例 Process and 發現患者 Process and Entity 持有期間何時 Process and 位於 Entity and entity Process 例 Process and Learning 子過程 Process and Process 患者 Process and 位於 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11653-11661	例 Process and EducationalProcess 患者 Process and Entity 有目的 Process and entity 例 entity and Learning 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	例 Process and 外國內部防禦 agent Process and AutonomousAgent 體驗者 Process and AutonomousAgent 有目的 Process and entity entity 例 entity and Learning 體驗者 entity and entity agent entity and AutonomousAgent AutonomousAgent 是 entity 的 military 區域例 entity and 軍事力量位於 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21353-21360	FieldOfStudy 有在 Human 的專業知識 Process Proposition 例 Process and Learning agent Process and Human 例 Proposition and FieldOfStudy 實現 Process and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22492-22499	例 Object and 學校樓 Process Object 例 Process and Learning 患者 Process and Object attribute Object and 學生 Process 是 located 在 Object

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