TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint Clothing StationaryArtifact)	Merge.kif 15619-15619	disjoint Clothing and StationaryArtifact
(documentation Clothing ChineseLanguage "这是由面料和可能是其他物料所造成，是给 Human 蔽体用的 Artifact。")	chinese_format.kif 3614-3615
(documentation Clothing EnglishLanguage "Artifact made out of fabrics and possibly other materials that are used to cover the bodies of Humans.")	Merge.kif 15620-15621
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png")	pictureList.kif 351-351
(subclass Clothing WearableItem)	Merge.kif 15618-15618	subclass Clothing and WearableItem

appearance as argument number 2

(subclass Apron Clothing)	Mid-level-ontology.kif 4775-4775	subclass Apron and Clothing
(subclass Belt Clothing)	Mid-level-ontology.kif 4790-4790	subclass Belt and Clothing
(subclass Cloak Clothing)	Mid-level-ontology.kif 4818-4818	subclass Cloak and Clothing
(subclass Collar Clothing)	Mid-level-ontology.kif 4829-4829	subclass Collar and Clothing
(subclass Dress Clothing)	Mid-level-ontology.kif 5014-5014	subclass Dress and Clothing
(subclass Glove Clothing)	Mid-level-ontology.kif 4852-4852	subclass Glove and Clothing
(subclass Hat Clothing)	Mid-level-ontology.kif 4867-4867	subclass Hat and Clothing
(subclass Mask Clothing)	Mid-level-ontology.kif 4822-4822	subclass Mask and Clothing
(subclass Oqal Clothing)	ArabicCulture.kif 402-402	subclass Oqal and Clothing
(subclass OutdoorClothing Clothing)	Mid-level-ontology.kif 4761-4761	subclass OutdoorClothing and Clothing
(subclass SafetyVest Clothing)	Cars.kif 3558-3558	subclass SafetyVest and Clothing
(subclass Shirt Clothing)	Mid-level-ontology.kif 4979-4979	subclass Shirt and Clothing
(subclass Shoe Clothing)	Mid-level-ontology.kif 4901-4901	subclass Shoe and Clothing
(subclass Sleeve Clothing)	Mid-level-ontology.kif 4990-4990	subclass Sleeve and Clothing
(subclass Sock Clothing)	Mid-level-ontology.kif 4964-4964	subclass Sock and Clothing
(subclass TieClothing Clothing)	Mid-level-ontology.kif 4804-4804	subclass TieClothing and Clothing
(subclass Trousers Clothing)	Mid-level-ontology.kif 4886-4886	subclass Trousers and Clothing
(subclass UniformClothing Clothing)	Mid-level-ontology.kif 26033-26033	subclass UniformClothing and Clothing
(subclass Veil Clothing)	Mid-level-ontology.kif 5163-5163	subclass Veil and Clothing
(termFormat ChineseLanguage Clothing "服装")	chinese_format.kif 1055-1055
(termFormat EnglishLanguage Clothing "clothing")	english_format.kif 1321-1321

antecedent

(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P)))))	Merge.kif 15632-15639	instance Physical and Clothing hasPurpose Physical and entity entity instance entity and Animal part entity and entity covers Physical and entity
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely))	Merge.kif 15623-15630	instance Entity and Clothing modalAttribute entity instance entity and Fabric part entity and Entity and Likely

consequent

(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B))))))	Mid-level-ontology.kif 29556-29566	instance Entity and BodyPart holdsDuring TimePosition and attribute Entity and Bare holdsDuring TimePosition and entity instance entity and Clothing covers entity and Entity
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))))	Mid-level-ontology.kif 29523-29531	holdsDuring TimePosition and attribute entity and Naked holdsDuring TimePosition and entity instance entity and Clothing entity は % を wears %n{ない}
(=> (and (instance ?DRESS Dressing) (agent ?DRESS ?AGENT) (patient ?DRESS ?CLOTHING)) (and (instance ?CLOTHING Clothing) (holdsDuring (BeginFn (WhenFn ?DRESS)) (not (wears ?AGENT ?CLOTHING))) (holdsDuring (EndFn (WhenFn ?DRESS)) (wears ?AGENT ?CLOTHING))))	Mid-level-ontology.kif 5195-5210	instance Process and Dressing agent Process and Agent patient Process and Entity instance Entity and Clothing holdsDuring BeginFn WhenFn Process and Agent は % を wear ない holdsDuring EndFn WhenFn Process and Agent は % を wears %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG ApparelManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Clothing) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 2194-2210	instance Collection and Organization attribute Collection and ApparelManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Clothing patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG ClothingAndClothingAccessoriesStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Clothing) (patient ?EV ?THING))))))	naics.kif 7509-7521	instance Collection and Organization attribute Collection and ClothingAndClothingAccessoriesStores Agent Process member Process and Collection agent Process and Agent Entity instance Agent and Selling instance Entity and Clothing patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and LeatherAndAlliedProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Clothing instance Entity and Fabric patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 4794-4802	Animal は % を wears %n{ない} instance WearableItem and Belt WearableItem instance WearableItem and Clothing Animal は % を wears %n{ない} meetsSpatially WearableItem and WearableItem
(=> (holdsDuring ?T (attribute ?A Clothed)) (holdsDuring ?T (not (exists (?P) (and (instance ?P ReproductiveBody) (part ?P ?A) (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?P)))))))))	Mid-level-ontology.kif 29538-29551	holdsDuring TimePosition and attribute entity and Clothed holdsDuring TimePosition and entity instance entity and ReproductiveBody part entity and entity entity instance entity and Clothing covers entity and entity
(=> (instance ?B Button) (hasPurpose ?B (exists (?C) (and (instance ?C Clothing) (part ?B ?C)))))	Mid-level-ontology.kif 4155-4161	instance Physical and Button hasPurpose Physical and entity instance entity and Clothing part Physical and entity
(=> (instance ?POCKET Pocket) (exists (?CLOTHING) (and (instance ?CLOTHING Clothing) (part ?POCKET ?CLOTHING))))	Mid-level-ontology.kif 5112-5117	instance Object and Pocket Object instance Object and Clothing part Object and Object
(=> (instance ?SVC DryCleaningService) (exists (?CLOTHES ?WATER ?CHEM) (and (instance ?CLOTHES Clothing) (not (instrument ?SVC ?WATER)) (instance ?WATER Water) (instance ?CHEM ChemicalProduct) (instrument ?SVC ?CHEM) (patient ?SVC ?CLOTHES) (result ?SVC (attribute ?CLOTHES Clean)))))	Hotel.kif 1784-1794	instance Process and DryCleaningService Entity Object and Object instance Entity and Clothing instrument Process and Object instance Object and Water instance Object and ChemicalProduct instrument Process and Object patient Process and Entity result Process and attribute Entity and Clean
(=> (instance ?SVC LaundryService) (exists (?CLOTHES ?WASH ?DRY ?IRON) (and (instance ?CLOTHES Clothing) (patient ?SVC ?CLOTHES) (subProcess ?WASH ?SVC) (instance ?WASH Washing) (patient ?WASH ?CLOTHES) (result ?WASH (attribute ?CLOTHES Clean)) (subProcess ?DRY ?SVC) (instance ?DRY Drying) (patient ?DRY ?CLOTHES) (instance ?IRON Ironing) (subProcess ?IRON ?SVC) (patient ?IRON ?CLOTHES) (before (BeginFn (WhenFn ?WASH)) (BeginFn (WhenFn ?DRY))) (before (BeginFn (WhenFn ?DRY)) (BeginFn (WhenFn ?IRON))))))	Hotel.kif 1760-1777	instance Process and LaundryService Entity Process, Process and Process instance Entity and Clothing patient Process and Entity subProcess Process and Process instance Process and Washing patient Process and Entity result Process and attribute Entity and Clean subProcess Process and Process instance Process and Drying patient Process and Entity instance Process and Ironing subProcess Process and Process patient Process and Entity before BeginFn WhenFn Process and BeginFn WhenFn Process before BeginFn WhenFn Process and BeginFn WhenFn Process
(=> (instance ?SVC ValetLaundryService) (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY) (and (customer ?CUST ?AGENT) (stays ?CUST ?LOC) (agent ?SVC ?AGENT) (instance ?CLOTHES Clothing) (instance ?PICKUP Getting) (located ?PICKUP ?LOC) (patient ?PICKUP ?CLOTHES) (agent ?PICKUP ?AGENT) (or (instance ?LAUNDRY LaundryService) (instance ?LAUNDRY DryCleaningService)) (agent ?LAUNDRY ?AGENT) (patient ?LAUNDRY ?CLOTHES) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?CLOTHES) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?PICKUP)) (BeginFn (WhenFn ?LAUNDRY))) (before (BeginFn (WhenFn ?LAUNDRY)) (BeginFn (WhenFn ?DELIVERY))))))	Hotel.kif 1802-1823	instance Process and ValetLaundryService Human CognitiveAgent, TemporaryResidence, Entity, Process, Process and Process customer Human and CognitiveAgent stays Human and TemporaryResidence agent Process and CognitiveAgent instance Entity and Clothing instance Process and Getting located Process and TemporaryResidence patient Process and Entity agent Process and CognitiveAgent instance Process and LaundryService instance Process and DryCleaningService agent Process and CognitiveAgent patient Process and Entity instance Process and DeliveryService patient Process and Entity destination Process and TemporaryResidence before BeginFn WhenFn Process and BeginFn WhenFn Process before BeginFn WhenFn Process and BeginFn WhenFn Process
(=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X))))	Hotel.kif 1831-1838	instance Process and IroningService Process Entity instance Entity and Clothing instance Process and Ironing patient Process and Entity subProcess Process and Process

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: