TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3618-3619
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16116-16117
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16115-16115	Device is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2345-2345	Aerator is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3197-3197	Animal controller is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3225-3225	Animal powered device is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16188-16188	Attaching device is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28144-28144	Audio recorder is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2597-2597	Muffler is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3978-3978	Axle is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1404-1404	Ball bearing is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3313-3313	Baton is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 538-538	Brake is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 672-672	Brake caliper is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 666-666	Brake drum is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 677-677	Brake pedal is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 660-660	Brake rotor is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2383-2383	Brush or comb is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1641-1641	Cam is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14652-14652	Camera is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3978-3978	Canal lock gate is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32721-32721	Karabiner is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16407-16407	Chimney is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6525-6525	Cleaning device is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1792-1792	Clutch is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1702-1702	Combustion chamber is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2723-2723	Compass is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25701-25701	Contraceptive device is a subclass of device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19455-19455	The number 1 argument of operating is an instance of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1604-1604	The number 1 argument of effective range is an instance of device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3615-3615	The number 1 argument of maximum device operating temperature is an instance of device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3643-3643	The number 1 argument of maximum device storage temperature is an instance of device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3668-3668	The number 1 argument of minimum device operating temperature is an instance of device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3693-3693	The number 1 argument of minimum device storage temperature is an instance of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2197-2197	The number 1 argument of power component is an instance of device
No TPTP formula. May not be expressible in strict first order.	Music.kif 829-829	The number 1 argument of playing instrument fn is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25972-25972	The number 2 argument of equipment count is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25987-25987	The number 2 argument of equipment type is a subclass of device

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3931-3941	If an object is capable of doing a kind of process as a a case role and the object is an instance of device and device damaged is not an attribute of the object, then the statement there exists an entity such that the entity is an instance of a kind of process and the case role the entity and the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1376-1382	If an entity is an instance of internet access point and another entity is an instance of device, then the other entity is a component of internet holds during the time of existence of the other entity is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31971-31979	If a process is an instance of damaging and an entity is an instance of device and the entity is a patient of the process, then device damaged is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2205-2209	If an artifact is a power component of a device and the artifact is an instance of device, then the artifact is an instance of self powered device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16119-16122	If an object is an instance of device, then there exists a kind of process such that the object is capable of doing a kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16124-16131	If a physical is an instance of device, then there exists an entity such that the physical has the purpose there exists another entity such that the other entity is an instance of the entity and the physical is an instrument for the other entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2296-2300	If an attribute is an attribute of an object and the attribute is an instance of device attribute, then the object is an instance of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2914-2932	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19462-19466	If a process is an instance of installing and an entity is a patient of the process, then the entity is an instance of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1076-1080	If a process is an instance of turning off device and an entity is a patient of the process, then the entity is an instance of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1100-1104	If a process is an instance of turning on device and an entity is a patient of the process, then the entity is an instance of device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 966-984	If a physical is an instance of autonomous mobile robot, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is an agent of the entity and the physical is a patient of the entity and the physical is an instrument for the entity and the physical experiences the entity and there don't exist another entity and a third entity such that the other entity is an instance of guiding and the physical is a patient of the other entity and the third entity is an agent of the other entity and the third entity is an instance of human or the third entity is an instance of device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16242-16247	If a corpuscular object is an instance of engineering component, then there exists another corpuscular object such that the other corpuscular object is an instance of device and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3218-3223	If an artifact is an instance of self powered device, then there exists a device such that the device is an instance of device and the artifact is a power component of the device
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2561-2571	If a process is an instance of surface wind speed measuring, then there exist an object and another object such that the object is an instance of geographic area and the other object is an instance of device and the process is located at the object and the other object is an instrument for the process and 10.0 meter(s) is an elevation of the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1318-1329	If a physical is an instance of airport staging area, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of boarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and the other entity located at time the fourth entity for the physical and the fourth entity takes place during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1331-1342	If a physical is an instance of airport staging area, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of deboarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and the other entity located at time the fourth entity for the physical and the fourth entity takes place during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 36-47	If an object is an instance of recording studio, then there exists a physical such that the physical is an instance of device and the physical has the purpose there exist an entity and another entity such that the entity is an instance of recording and the physical is an instrument for the other entity and the entity is a result of the other entity and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28801-28810	If an object is an instance of scuba diving, then there exist another object, a third object and a process such that the other object is an instance of water area and the object is below to the other object and the third object is an instance of device and the process is an instance of breathing and the third object is an instrument for the process and the process is a subprocess of the object
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	If an engineering component is an instance of baby monitor, then there exist another engineering component and a third engineering component such that the third engineering component is an instance of radio receiver and the other engineering component is an instance of device and the third engineering component is a component of the engineering component and the other engineering component is a component of the engineering component and the engineering component has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity and a seventh entity such that the entity is an instance of human baby and the other entity is an instance of human and the entity is located at the fourth entity and the other entity is located at the fifth entity and equal the fourth entity and the fifth entity and the sixth entity is an instance of maintaining and the entity is a patient of the sixth entity and the other entity is an agent of the sixth entity and the other engineering component is located at the fourth entity and the third engineering component is located at the fifth entity and the third entity is an instance of radiating sound and the third entity is located at the fourth entity and the seventh entity is an instance of radio emission and the third entity is a patient of the seventh entity and the seventh entity ends up at the third engineering component and the other engineering component is an agent of the seventh entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1434-1444	If a physical is an instance of remote control, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the physical is an agent of the entity and the entity ends up at the other entity and the other entity is an instance of device and the physical is not a part of the other entity

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

KB Term:			Term intersection

English Word: