TreeView Knowledge Base Browser - Soccer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Soccer

Soccer(英式足球比賽)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 157-157
No TPTP formula. May not be expressible in strict first order.	Sports.kif 156-156	子類英式足球比賽 and 團隊運動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 161-161	名 "European football" and 英式足球比賽
No TPTP formula. May not be expressible in strict first order.	Sports.kif 159-159
No TPTP formula. May not be expressible in strict first order.	Sports.kif 160-160
No TPTP formula. May not be expressible in strict first order.	Sports.kif 158-158

antecedent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 163-175	例 Entity and 英式足球比賽 Collection Collection, AutonomousAgent and AutonomousAgent 例 Collection and 一群人 11 是 Collection 的 member 計數例 Collection and 一群人 11 是 Collection 的 member 計數等於 Collection and Collection 會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection enemy AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Sports.kif 177-182	例 Process and 英式足球比賽 Entity 例 Entity and 英式足球患者 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 412-414	attribute AutonomousAgent and FootballerSoccer 有技巧英式足球比賽 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Sports.kif 313-321	例 Physical and 英式足球有目的 Physical and entity entity 例 entity and 英式足球比賽例 entity and 踢子過程 entity and entity 患者 entity and Physical

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