TreeView Knowledge Base Browser - SportsTeam

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SportsTeam

SportsTeam(運動隊)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7525-7526
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1501-1501
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7524-7524	子類運動隊 and 一群人

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 750-750	子類棒球隊 and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 503-503	子類 BasketballTeam and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 513-513	子類 CarRacingTeam and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 843-843	子類足球隊 and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 511-511	子類 LacrosseTeam and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 514-514	子類 MotorcycleRacingTeam and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 509-509	子類 RugbyTeam and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 507-507	子類 SoccerTeam and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 505-505	子類 VolleyballTeam and 運動隊
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54786-54786
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54785-54785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54784-54784

antecedent

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

Mid-level-ontology.kif 7528-7533

例 Object and 運動隊
Process 子類 Process and Sport 能力 Process, agent and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7023-7027	例 Collection and 體育聯盟會員 Physical and Collection 例 Physical and 運動隊
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18933-18937	佔據位置 Human, Position and Organization 例 Position and 體育位置例 Organization and 運動隊
No TPTP formula. May not be expressible in strict first order.	Sports.kif 828-841	例 Process and 足球傳球 Process Entity, Collection, AutonomousAgent and Physical 子過程 Process and Process 例 Process and 投擲 agent Process and AutonomousAgent 目的地 Process and Physical 患者 Process and Entity 例 Entity and 足球例 Collection and 運動隊會員 AutonomousAgent and Collection 會員 Physical and Collection 等於 AutonomousAgent and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7539-7547	例 Contest and 團隊運動 AutonomousAgent AutonomousAgent AutonomousAgent participates 在 Contest AutonomousAgent participates 在 Contest 例 AutonomousAgent and 運動隊例 AutonomousAgent and 運動隊等於 AutonomousAgent and AutonomousAgent

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