TwoDimensionalObject - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TwoDimensionalObject Object)	Mid-level-ontology.kif 5420-5420	Two dimensional object is a subclass of object
(documentation TwoDimensionalObject EnglishLanguage "A real-world physical object with a very flat aspect. This includes drawings on paper, cave paintings and other surface alterations.")	Mid-level-ontology.kif 5421-5423	Two dimensional object is a subclass of object
(externalImage TwoDimensionalObject "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9e/ Parabola.svg")	pictureList.kif 2048-2048	Two dimensional object is a subclass of object

appearance as argument number 2

(termFormat EnglishLanguage TwoDimensionalObject "two dimensional object")	domainEnglishFormat.kif 59691-59691
(termFormat ChineseTraditionalLanguage TwoDimensionalObject "二維物體")	domainEnglishFormat.kif 59692-59692
(termFormat ChineseLanguage TwoDimensionalObject "二维物体")	domainEnglishFormat.kif 59693-59693

appearance as argument number 3

(domain sliceOfFigure 1 TwoDimensionalObject)

antecedent

(=> (instance ?T TwoDimensionalObject) (attribute ?T TwoDimensionalFigure))	Mid-level-ontology.kif 5424-5426	If X is an instance of two dimensional object, then two dimensional figure is an attribute of X
(=> (and (instance ?X Photocopier) (instrument ?COPY ?X) (instance ?COPY Photocopying) (patient ?COPY ?OBJ1) (instance ?OBJ1 TwoDimensionalObject) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO)) (exists (?OBJ2 ?SHEET) (and (result ?COPY ?OBJ2) (instance ?OBJ2 TwoDimensionalObject) (instance ?OBJ2 VisualContentBearingObject) (containsInformation ?OBJ2 ?INFO) (located ?OBJ2 ?SHEET) (instance ?SHEET PrintedSheet))))	Mid-level-ontology.kif 28856-28872	If All of the following hold: (1) X is an instance of photocopier (2) X is an instrument for Y (3) Y is an instance of photocopying (4) Z is a patient of Y (5) Z is an instance of two dimensional object (6) Z is an instance of visual content bearing object (7) Z contains information W, then All of the following hold: (1) there exist V (2) U such that V is a result of Y (3) V is an instance of two dimensional object (4) V is an instance of visual content bearing object (5) V contains information W (6) V is located at U (7) U is an instance of printed sheet

consequent

(=>
    (and
        (instance ?X Photocopier)
        (instrument ?COPY ?X)
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 TwoDimensionalObject)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO))
    (exists (?OBJ2 ?SHEET)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 TwoDimensionalObject)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO)
            (located ?OBJ2 ?SHEET)
            (instance ?SHEET PrintedSheet))))

If All of the following hold: (1) X is an instance of photocopier (2) X is an instrument for Y (3) Y is an instance of photocopying (4) Z is a patient of Y (5) Z is an instance of two dimensional object (6) Z is an instance of visual content bearing object (7) Z contains information W, then All of the following hold: (1) there exist V (2) U such that V is a result of Y (3) V is an instance of two dimensional object (4) V is an instance of visual content bearing object (5) V contains information W (6) V is located at U (7) U is an instance of printed sheet