TwoDimensionalObject - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TwoDimensionalObject Object)	Mid-level-ontology.kif 5291-5291	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 5292-5294	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 5295-5297	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 28966-28982	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