TreeView Knowledge Base Browser - AbsoluteFilter

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AbsoluteFilter

AbsoluteFilter(絕對過濾器)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1364-1365
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1363-1363	子類絕對過濾器 and 過濾

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5136-5136
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5135-5135
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5134-5134

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	例 Object and 絕對過濾器例 Process and Removing 起源 Process and Object 例 Object and 混合氣體患者 Process and Object attribute Object and 固體儀器 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1368-1376	例 Physical and 絕對過濾器有目的 Physical and entity entity 例 entity and Removing 起源 entity and entity 例 entity and 混合氣體儀器 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