AbsoluteFilter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AbsoluteFilter

AbsoluteFilter(absolute filter)

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	Absolute filter is a subclass of filter

appearance as argument number 2

(termFormat ChineseLanguage AbsoluteFilter "绝对过滤器")	domainEnglishFormat.kif 5140-5140
(termFormat ChineseTraditionalLanguage AbsoluteFilter "絕對過濾器")	domainEnglishFormat.kif 5139-5139
(termFormat EnglishLanguage AbsoluteFilter "absolute filter")	domainEnglishFormat.kif 5138-5138

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	If an object is an instance of absolute filter and a process is an instance of removing and the process originates at another object and the other object is an instance of gas mixture and a third object is a patient of the process and solid is an attribute of the third object and the object is an instrument for the process, then the third object is not a part of the other object
(=> (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	If a physical is an instance of absolute filter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of removing and the entity originates at the other entity and the other entity is an instance of gas mixture and the physical is an instrument for the entity

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