| appearance as argument number 1 |
|
| (documentation AbsoluteFilter EnglishLanguage "A filter capable of cutting off 100% by weight of solid particles greater than a stated micron size.") | MilitaryDevices.kif 1364-1365 | |
| (subclass AbsoluteFilter Filter) | MilitaryDevices.kif 1363-1363 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AbsoluteFilter "绝对过滤器") | domainEnglishFormat.kif 5141-5141 | |
| (termFormat ChineseTraditionalLanguage AbsoluteFilter "絕對過濾器") | domainEnglishFormat.kif 5140-5140 | |
| (termFormat EnglishLanguage AbsoluteFilter "absolute filter") | domainEnglishFormat.kif 5139-5139 |
| antecedent |
|
|
| (=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS))) |
MilitaryDevices.kif 1379-1389 | |
| (=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER))))) |
MilitaryDevices.kif 1368-1376 |
|
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