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

appearance as argument number 2

(termFormat ChineseLanguage TwoDimensionalObject "二维物体")	domainEnglishFormat.kif 59754-59754
(termFormat ChineseTraditionalLanguage TwoDimensionalObject "二維物體")	domainEnglishFormat.kif 59753-59753
(termFormat EnglishLanguage TwoDimensionalObject "two dimensional object")	domainEnglishFormat.kif 59752-59752

appearance as argument number 3

(domain sliceOfFigure 1 TwoDimensionalObject)	Mid-level-ontology.kif 4805-4805	The number 1 argument of slice of figure is an instance of two dimensional object
(domain tangent 2 TwoDimensionalObject)	Mid-level-ontology.kif 4774-4774	The number 2 argument of tangent is an instance of two dimensional object

antecedent

(=> (and (instance ?O Object) (attribute ?O ConvexRoundShape) (surface ?TO ?O) (instance ?TO TwoDimensionalObject)) (forall (?P) (and (part ?P ?O) (attribute ?P GeometricPoint) (pointOfFigure ?P ?O) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO)))))	Mid-level-ontology.kif 4814-4828	If a self connected object is an instance of object and convex round shape is an attribute of the self connected object and another self connected object is a surface of the self connected object and the other self connected object is an instance of two dimensional object, then for all a geometric point the geometric point is a part of the self connected object and geometric point is an attribute of the geometric point and the geometric point is a vertex of the self connected object and the geometric point meets the self connected object and the geometric point meets the other self connected object and there exists an one dimensional figure such that a tangent of the other self connected object is the one dimensional figure
(=> (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 26563-26579	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 4796-4798	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 26563-26579

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: