consequent

(=>     (and         (instance ?ORG Organization)         (attribute ?ORG LeatherAndAlliedProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Clothing)                         (instance ?THING Fabric))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 2457-2475	If a collection is an instance of organization and leather and allied product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of clothing or the entity is an instance of fabric and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TextileMills))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Fabric)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 1944-1960	If a collection is an instance of organization and textile mills is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of fabric and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TextileProductMills))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Fabric)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 2085-2101	If a collection is an instance of organization and textile product mills is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of fabric and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=>     (instance ?BOARD IroningBoard)     (hasPurpose ?BOARD         (exists (?IRON ?FABRIC ?OBJ)             (and                 (instance ?IRON Ironing)                 (patient ?IRON ?OBJ)                 (part ?FABRIC ?OBJ)                 (instance ?FABRIC Fabric)                 (holdsDuring                     (WhenFn ?IRON)                     (orientation ?OBJ ?BOARD On))))))	Mid-level-ontology.kif 26852-26863	If a physical is an instance of ironing board, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of ironing and the third entity is a patient of the entity and the other entity is a part of the third entity and the other entity is an instance of fabric and the third entity is on to the physical holds during the time of existence of the entity
(=>     (instance ?CLOTHING Clothing)     (modalAttribute         (exists (?FABRIC)             (and                 (instance ?FABRIC Fabric)                 (part ?FABRIC ?CLOTHING))) Likely))	Merge.kif 16078-16085	If an entity is an instance of clothing, then the statement there exists another entity such that the other entity is an instance of fabric and the other entity is a part of the entity has the modal force of likely
(=>     (instance ?FLAG Flag)     (exists (?FABRIC)         (and             (instance ?FABRIC Fabric)             (part ?FABRIC ?FLAG))))	Mid-level-ontology.kif 14585-14590	If an object is an instance of flag, then there exists another object such that the other object is an instance of fabric and the other object is a part of the object
(=>     (instance ?S Sewing)     (capability Fabric patient ?S))	Mid-level-ontology.kif 6552-6554	If an object is an instance of sewing, then the object is capable of doing fabric as a patient
(=>     (instance ?S Sewing)     (exists (?F)         (and             (instance ?F Fabric)             (patient ?S ?F))))	Mid-level-ontology.kif 6545-6550	If a process is an instance of sewing, then there exists an entity such that the entity is an instance of fabric and the entity is a patient of the process
(=>     (instance ?S String)     (material Fabric ?S))	Mid-level-ontology.kif 4098-4100	If a corpuscular object is an instance of string, then the corpuscular object is made of fabric
(=>     (instance ?SAIL Sail)     (exists (?MAST)         (and             (material Fabric ?SAIL)             (instance ?MAST Mast)             (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 28233-28239	If a corpuscular object is an instance of sail, then there exists an object such that the corpuscular object is made of fabric and the object is an instance of mast and the corpuscular object is connected to the object
(=>     (instance ?TAPE Tape)     (exists (?PART)         (and             (part ?PART ?TAPE)             (or                 (instance ?PART Paper)                 (instance ?PART Fabric)))))	Mid-level-ontology.kif 4673-4680	If an object is an instance of tape, then there exists another object such that the other object is a part of the object and the other object is an instance of paper or the other object is an instance of fabric
(=>     (instance ?TENT Tent)     (exists (?FABRIC)         (and             (instance ?FABRIC Fabric)             (part ?FABRIC ?TENT))))	Mid-level-ontology.kif 7980-7985	If an object is an instance of tent, then there exists another object such that the other object is an instance of fabric and the other object is a part of the object
(=>     (instance ?X BedLinen)     (material Fabric ?X))	Mid-level-ontology.kif 4570-4572	If a corpuscular object is an instance of bed linen, then the corpuscular object is made of fabric
(=>     (instance ?X Hammock)     (and         (material Fabric ?X)         (exists (?POLE1 ?POLE2 ?GROUND)             (and                 (orientation ?POLE1 ?POLE2 Near)                 (connected ?POLE1 ?X)                 (connected ?POLE2 ?X)                 (instance ?GROUND LandArea)                 (located ?X ?GROUND)                 (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4401-4412	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=>     (instance ?X SeatBelt)     (exists (?BELT)         (and             (part ?BELT ?X)             (attribute ?BELT Pliable)             (material Fabric ?BELT))))	Cars.kif 3728-3734	If an object is an instance of seat belt, then there exists a corpuscular object such that the corpuscular object is a part of the object and pliable is an attribute of the corpuscular object and the corpuscular object is made of fabric

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