TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ClothingSuit EnglishLanguage "A Collection of instances of Clothing that are designed to be worn together.")	Mid-level-ontology.kif 5025-5026
(subclass ClothingSuit Collection)	Mid-level-ontology.kif 5024-5024	Clothing suit is a subclass of collection

appearance as argument number 2

(subclass IhramClothing ClothingSuit)	ArabicCulture.kif 141-141	Ihram clothing is a subclass of clothing suit
(termFormat ChineseLanguage ClothingSuit "服装套装")	domainEnglishFormat.kif 15285-15285
(termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝")	domainEnglishFormat.kif 15284-15284
(termFormat EnglishLanguage ClothingSuit "clothing suit")	domainEnglishFormat.kif 15283-15283

antecedent

(=>
    (and
        (instance ?SUIT ClothingSuit)
        (member ?ITEM1 ?SUIT)
        (holdsDuring ?TIME
            (wears ?PERSON ?ITEM1)))
    (forall (?ITEM2)
        (=>
            (member ?ITEM2 ?SUIT)
            (holdsDuring ?TIME
                (wears ?PERSON ?ITEM2)))))

Mid-level-ontology.kif 5028-5036

If a collection is an instance of clothing suit and a physical is a member of the collection and an entity wears the physical holds during a time position,
then for all another physical
- if the other physical is a member of the collection,
- then the entity wears the other physical holds during the time position

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: