TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3616-3617
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14792-14793
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14790-14790	The number 1 argument of wears is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14791-14791	The number 2 argument of wears is an instance of wearable item
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14789-14789	wears is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 796-796
No TPTP formula. May not be expressible in strict first order.	english_format.kif 805-805
No TPTP formula. May not be expressible in strict first order.	english_format.kif 806-806
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62519-62519
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 797-797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62518-62518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62517-62517

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5345-5352	If an entity is an instance of outdoor clothing and another entity は % を wears %n{ない} holds during a time position, then there doesn't exist a third entity such that the third entity is an instance of building and the other entity is located at the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5577-5581	If a wearable item is an instance of dress and an animal は % を wears %n{ない}, then the animal is an instance of woman
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 536-542	If a wearable item is an instance of earphone and an animal は % を wears %n{ない} and an object is an instance of head and the object is a part of the animal, then the wearable item is located at the object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 142-154	If an animal is an instance of ihram clothing and the animal は % を wears %n{ない} and male is an attribute of a wearable item, then there exist an object, another object and a third object such that the object is an instance of cloak and the other object is an instance of belt and the third object is an instance of sandal and the object is a member of the animal and the other object is a member of the animal and the third object is a member of the animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5545-5549	If a wearable item is an instance of shirt and an animal は % を wears %n{ない}, then the animal is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5587-5595	If a collection is an instance of clothing suit and an object is a member of the collection and an entity は % を wears %n{ない} holds during a time position, then for all another object if the other object is a member of the collection, then the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order.	Dining.kif 440-450	If a collection is an instance of outfit and an object is a member of the collection and an entity は % を wears %n{ない} holds during a time position, then for all another object if the other object is a member of the collection, then the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14799-14803	If an animal は % を wears %n{ない} and a wearable item is a part of another wearable item, then the animal は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5457-5465	If an animal は % を wears %n{ない} and a self connected object is an instance of trousers, then there exists an object such that the object is an instance of leg and the object is a part of the animal and the self connected object は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5371-5379	If an animal は % を wears %n{ない} and a wearable item is an instance of belt, then there exists another wearable item such that the other wearable item is an instance of clothing and the animal は % を wears %n{ない} and the wearable item meets the other wearable item
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5411-5419	If an animal は % を wears %n{ない} and a wearable item is an instance of collar, then there exists an object such that the object is an instance of neck and the object is a part of the animal and the wearable item meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3383-3390	If an animal は % を wears %n{ない} and a wearable item is located at an object and the wearable item is an instance of clock and the object is an instance of wrist and the object is a part of the animal, then the wearable item is an instance of watch clock
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5425-5433	If an animal は % を wears %n{ない} and a wearable item is an instance of glove, then there exists an object such that the object is an instance of hand and the object is a part of the animal and the wearable item meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5554-5562	If an animal は % を wears %n{ない} and a self connected object is an instance of sleeve, then there exists an object such that the object is an instance of arm and the object is a part of the animal and the self connected object は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5531-5539	If an animal は % を wears %n{ない} and a self connected object is an instance of sock, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the self connected object は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5385-5393	If an animal は % を wears %n{ない} and a self connected object is an instance of tie clothing, then there exists an object such that the object is an instance of neck and the object is a part of the animal and the self connected object は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5439-5447	If an animal は % を wears %n{ない} and a wearable item is an instance of hat, then there exists an object such that the object is an instance of head and the object is a part of the animal and the wearable item meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5471-5479	If an animal は % を wears %n{ない} and a wearable item is an instance of shoe, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the wearable item meets the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14795-14797	If an animal は % を wears %n{ない}, then a wearable item is located at the animal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28327-28335	Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28339-28347	Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5750-5765	If a process is an instance of dressing and an agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of clothing and the agent は % を wear ない holds during the beginning of the time of existence of the process and the agent は % を wears %n{ない} holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5784-5795	If a process is an instance of removing clothing and an agent is an agent of the process and an entity is a patient of the process, then the agent は % を wears %n{ない} holds during the beginning of the time of existence of the process and the agent は % を wear ない holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5587-5595	If a collection is an instance of clothing suit and an object is a member of the collection and an entity は % を wears %n{ない} holds during a time position, then for all another object if the other object is a member of the collection, then the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order.	Dining.kif 440-450	If a collection is an instance of outfit and an object is a member of the collection and an entity は % を wears %n{ない} holds during a time position, then for all another object if the other object is a member of the collection, then the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14799-14803	If an animal は % を wears %n{ない} and a wearable item is a part of another wearable item, then the animal は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5371-5379	If an animal は % を wears %n{ない} and a wearable item is an instance of belt, then there exists another wearable item such that the other wearable item is an instance of clothing and the animal は % を wears %n{ない} and the wearable item meets the other wearable item
No TPTP formula. May not be expressible in strict first order.	Dining.kif 462-473	If an agent requires customers to wear an ambience, then the statement the agent believes an entity is the ambience and the entity is an instance of outfit and the agent is a customer of another entity and for all a third entity if the third entity is a member of the entity, then the other entity は % を wears %n{ない} holds during the time of existence of the other entity is located at the agent has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 161-168	If an agent experiences a process, then there exists an entity such that the entity is an instance of ihram clothing and the agent は % を wears %n{ない} holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24850-24858	If a group has uniform a kind of uniform, then the statement there exist an entity, another entity and a third entity such that the entity is a member of the group and the other entity is an instance of a kind of uniform and the entity は % を wears %n{ない} holds during the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5357-5366	If a physical is an instance of apron, then the physical purpose there exist an entity and another entity such that the other entity is an instance of cooking and the entity is an agent of the other entity and the entity は % を wears %n{ない} holds during the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 363-373	If a physical is an instance of gutrah, then the physical purpose if an entity は % を wears %n{ない} holds during another entity and the entity is located at a third entity holds during the other entity and a fourth entity is a hot season in area of the third entity, then the other entity takes place during the fourth entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 385-395	If a physical is an instance of shimagh, then the physical purpose if an entity は % を wears %n{ない} holds during another entity and the entity is located at a third entity holds during the other entity and a fourth entity is a cold season in area of the third entity, then the other entity takes place during the fourth entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 518-524	If a physical is an instance of abayah, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 435-441	If a physical is an instance of dishdashah, then the physical purpose there exists an entity such that the entity is an instance of man and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 487-493	If a physical is an instance of hijab, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 423-429	If a physical is an instance of jallabiyyah, then the physical purpose there exists an entity such that the entity is an instance of man and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 500-506	If a physical is an instance of jilbab, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 474-480	If a physical is an instance of khimar, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 455-461	If a physical is an instance of niqab, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3423-3453	If a physical is an instance of hearing protection, then the physical purpose if an entity is an instance of human and the entity は % を wears %n{ない}, then there exist another entity and a third entity such that the other entity is an instance of process and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4730-4740	If a physical is an instance of motorcycle glove, then the physical purpose there exist an entity, another entity and a third entity such that the third entity is an instance of driving and the other entity is an agent of the third entity and the entity is an instrument for the third entity and the entity is an instance of motorcycle and the other entity は % を wears %n{ない} holds during the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4343-4354	If a physical is an instance of motorcycle helmet, then the physical purpose there exist an entity, another entity and a third entity such that the other entity is an instance of driving and the entity is an agent of the other entity and the third entity is an instance of motorcycle and the third entity is a patient of the other entity and the entity is an instance of human and the entity は % を wears %n{ない} holds during the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3460-3486	If a physical is an instance of protective eyewear, then the physical purpose if the physicalRSON is an instance of human and the physicalRSON は % を wears %n{ない}, then there exist another entity, a third entity and a fourth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by a fifth entity and the other entity prevents the occurrence of the fourth entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: