Carabiner - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Carabiner

Carabiner(karabiner)

appearance as argument number 1

(documentation Carabiner EnglishLanguage "A carabiner or karabiner is a specialized type of shackle, a metal loop with a spring_loaded gate used to quickly and reversibly connect components, most notably in safety_critical systems. [from Wikipedia] Some carabiners have locking gates, or wire gates, or bent gates.")	Mid-level-ontology.kif 31900-31904
(subclass Carabiner Device)	Mid-level-ontology.kif 31899-31899	Karabiner is a subclass of device

appearance as argument number 2

(subclass ClimbingCarabiner Carabiner)	Mid-level-ontology.kif 31951-31951	Climbing carabiner is a subclass of karabiner
(subclass UncertifiedCarabiner Carabiner)	Mid-level-ontology.kif 31964-31964	Uncertified carabiner is a subclass of karabiner
(termFormat EnglishLanguage Carabiner "carabiner")	Mid-level-ontology.kif 31905-31905	Uncertified carabiner is a subclass of karabiner
(termFormat EnglishLanguage Carabiner "karabiner")	Mid-level-ontology.kif 31906-31906	Uncertified carabiner is a subclass of karabiner

antecedent

(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceClosed))) (holdsDuring ?T (attribute ?C RingTorus)))	Mid-level-ontology.kif 31921-31927	If an entity is an instance of karabiner and device closed is an attribute of the entity holds during a time position, then ring torus is an attribute of the entity holds during the time position
(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceClosed))) (holdsDuring ?T (modalAttribute (exists (?R) (and (instance ?R ClimbingRope) (contains ?C ?R))) Possibility)))	Mid-level-ontology.kif 31929-31940	If an entity is an instance of karabiner and device closed is an attribute of the entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of climbing rope and the entity contains the other entity has the modal force of possibility holds during the time position
(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceOpen))) (holdsDuring ?T (not (attribute ?C RingTorus))))	Mid-level-ontology.kif 31942-31949	If an entity is an instance of karabiner and device open is an attribute of the entity holds during a time position, then ring torus is not an attribute of the entity holds during the time position
(=> (instance ?C Carabiner) (exists (?H ?S) (and (instance ?H Hinge) (part ?H ?C) (instance ?S Spring) (part ?S ?C))))	Mid-level-ontology.kif 31912-31919	If an object is an instance of karabiner, then there exist another object and a third object such that the other object is an instance of hinge and the other object is a part of the object and the third object is an instance of spring and the third object is a part of the object
(=> (instance ?C Carabiner) (material Metal ?C))	Mid-level-ontology.kif 31908-31910	If a corpuscular object is an instance of karabiner, then the corpuscular object is made of metal

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