Tailpipe - Sigma Knowledge base Browser

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 4034-4036
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4030-4030	子類 Tailpipe and 管
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4031-4031	Tailpipe typically 是 AutomobileExhaustSystem 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4032-4032	AutomobileExhaustSystem typically 有 part Tailpipe

appearance as argument number 2

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

Cars.kif 4033-4033

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4046-4061	例 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 4038-4044	例 Physical and Tailpipe 有目的 Physical and entity 例 entity and AutomobileMuffler 連接的工程組件 entity and Physical

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