DoubleSize - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DoubleSize EnglishLanguage "DoubleSize refers to how an Object can fit 2 of its target users at the same time")	Mid-level-ontology.kif 25617-25618
(instance DoubleSize SizeAttribute)	Mid-level-ontology.kif 25616-25616	Double size is an instance of size attribute

appearance as argument number 2

(termFormat EnglishLanguage DoubleSize "double size")

Mid-level-ontology.kif 25619-25619

antecedent

(=>
    (and
        (instance ?X WhirlpoolTub)
        (attribute ?X DoubleSize))
    (modalAttribute
        (exists (?T1)
            (holdsDuring ?T1
                (exists (?P1 ?P2)
                    (and
                        (instance ?P1 Human)
                        (instance ?P2 Human)
                        (not
                            (equal ?P1 ?P2))
                        (located ?P1 ?X)
                        (located ?P2 ?X))))) Possibility))

Mid-level-ontology.kif 25621-25634

If an object is an instance of whirlpool tub and double size is an attribute of the object,
then the statement there exists an entity such that there exist another entity and a third entity such that the other entity is an instance of human and the third entity is an instance of human and the other entity is not equal to the third entity and the other entity is located at the object and the third entity is located at the object holds during the entity has the modal force of possibility

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

KB Term:			Term intersection

English Word: