TwoDimensionalObject - Sigma Knowledge base Browser

appearance as argument number 1

(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 4814-4816
(externalImage TwoDimensionalObject "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9e/ Parabola.svg")	pictureList.kif 2048-2048
(subclass TwoDimensionalObject Object)	Mid-level-ontology.kif 4813-4813	Two dimensional object is a subclass of object

appearance as argument number 2

(termFormat ChineseLanguage TwoDimensionalObject "二维物体")	domainEnglishFormat.kif 59726-59726
(termFormat ChineseTraditionalLanguage TwoDimensionalObject "二維物體")	domainEnglishFormat.kif 59725-59725
(termFormat EnglishLanguage TwoDimensionalObject "two dimensional object")	domainEnglishFormat.kif 59724-59724

appearance as argument number 3

(domain sliceOfFigure 1 TwoDimensionalObject)

Mid-level-ontology.kif 4826-4826

The number 1 argument of slice of figure is an instance of two dimensional object

antecedent

(=> (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 26628-26644	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
(=> (instance ?T TwoDimensionalObject) (attribute ?T TwoDimensionalFigure))	Mid-level-ontology.kif 4817-4819	If an object is an instance of two dimensional object, then two dimensional figure is an attribute of the object

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))))

Mid-level-ontology.kif 26628-26644

If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition,
then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet

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: