TreeView Knowledge Base Browser - Tailpipe

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tailpipe

Tailpipe

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4042-4044
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4038-4038	子類 Tailpipe and 管
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4039-4039	Tailpipe typically 是 AutomobileExhaustSystem 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4040-4040	AutomobileExhaustSystem typically 有 part Tailpipe

appearance as argument number 2

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

Cars.kif 4041-4041

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4054-4069	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4046-4052	例 Physical and Tailpipe 有目的 Physical and entity 例 entity and AutomobileMuffler 連接的工程組件 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