Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - FrontFn
FrontFn

appearance as argument number 1
-------------------------


(instance FrontFn SpatialRelation) Merge.kif 867-867 Front is an instance of spatial relation
(instance FrontFn PartialValuedRelation) Merge.kif 868-868 Front is an instance of partial valued relation
(instance FrontFn UnaryFunction) Merge.kif 869-869 Front is an instance of unary function
(domain FrontFn 1 SelfConnectedObject) Merge.kif 870-870 The number 1 argument of front is an instance of self connected object
(range FrontFn SelfConnectedObject) Merge.kif 871-871 The range of front is an instance of self connected object
(documentation FrontFn EnglishLanguage "A Function that maps an Object to the side that generally receives the most attention or that typically faces the direction in which the Object moves. Note that this is a partial function, since some Objects do not have sides, e.g. apples and spheres. Note too that the range of this Function is indefinite in much the way that ImmediateFutureFn and ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.") Merge.kif 873-881 The range of front is an instance of self connected object

appearance as argument number 2
-------------------------


(relatedInternalConcept BackFn FrontFn) Merge.kif 892-892 Back is internally related to front
(termFormat EnglishLanguage FrontFn "front") domainEnglishFormat.kif 25078-25078 Back is internally related to front
(termFormat ChineseTraditionalLanguage FrontFn "面前") domainEnglishFormat.kif 25079-25079 Back is internally related to front
(termFormat ChineseLanguage FrontFn "面前") domainEnglishFormat.kif 25080-25080 Back is internally related to front
(format EnglishLanguage FrontFn "the front of %1") english_format.kif 264-264 Back is internally related to front

antecedent
-------------------------


(=>
    (equal ?F
        (FrontFn ?O))
    (not
        (overlapsSpatially ?F
            (BackFn ?O))))		 Merge.kif 907-912 If equal X and the front of Y, then X and the back of Y doesn't overlapsSpatially
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (FrontFn ?P)))
    (part ?F ?B))		 Mid-level-ontology.kif 14527-14533 If X is an instance of face, X is a part of Y, and equal Z and the front of Y, then X is a part of Z
(=>
    (and
        (longitudinalAxis ?V ?O)
        (instance ?O Aircraft)
        (equal ?F
            (FrontFn ?O))
        (equal ?B
            (BackFn ?O))
        (centerOfMass ?C ?O)
        (part ?F ?V)
        (part ?B ?V)
        (part ?C ?V))
    (between ?C ?F ?B))		 Mid-level-ontology.kif 19362-19372 If All of the following hold: (1) X is the longitudinalAxis of Y (2) Y is an instance of aircraft (3) equal Z and the front of Y (4) equal W and the back of Y (5) V is the centerOfMass of Y (6) Z is a part of X (7) W is a part of X (8) V is a part of X, then Z is between V and W

consequent
-------------------------


(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))		 Merge.kif 883-885 If X is an instance of self connected object, then a side of X is the front of X
(=>
    (equal ?B
        (BackFn ?O))
    (not
        (overlapsSpatially ?B
            (FrontFn ?O))))		 Merge.kif 914-919 If equal X and the back of Y, then X and the front of Y doesn't overlapsSpatially
(=>
    (instance ?F Forestock)
    (exists (?S)
        (and
            (instance ?S Gunstock)
            (part ?F
                (FrontFn ?S)))))		 Mid-level-ontology.kif 1500-1506 If X is an instance of fore stock, then there exists Y such that Y is an instance of gun stock and X is a part of the front of Y
(=>
    (instance ?L Headlight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (FrontFn ?V)))))		 Mid-level-ontology.kif 3685-3690 If X is an instance of headlight, then there exists Y such that Y is an instance of vehicle and X is a part of the front of Y
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))		 Mid-level-ontology.kif 4085-4090 If X is an instance of windshield, then there exists Y such that Y is an instance of road vehicle and X is a part of the front of Y
(=>
    (and
        (instance ?R Region)
        (equal ?R
            (OuterBoundaryFn ?B))
        (instance ?B Eyeball))
    (exists (?C ?S)
        (and
            (part ?C ?R)
            (instance ?C Cornea)
            (part ?S ?R)
            (instance ?S Sclera)
            (meetsSpatially ?C ?S)
            (equal ?C
                (FrontFn ?B)))))		 Mid-level-ontology.kif 13744-13758 If X is an instance of region, equal X and the outer boundary of Y, and Y is an instance of eye ball, then All of the following hold: (1) there exist Z (2) W such that Z is a part of X (3) Z is an instance of cornea (4) W is a part of X (5) W is an instance of sclera (6) Z meets W (7) equal Z (8) the front of Y
(=>
    (instance ?B Breast)
    (exists (?T)
        (and
            (instance ?T Torso)
            (part ?B
                (FrontFn ?T)))))		 Mid-level-ontology.kif 14450-14456 If X is an instance of breast, then there exists Y such that Y is an instance of torso and X is a part of the front of Y
(=>
    (and
        (instance ?B Breast)
        (instance ?H Human)
        (part ?B ?H))
    (part ?B
        (FrontFn ?H)))		 Mid-level-ontology.kif 14465-14471 If X is an instance of breast, Y is an instance of human, and X is a part of Y, then X is a part of the front of Y
(=>
    (attribute ?V Ventral)
    (exists (?O ?F)
        (and
            (or
                (instance ?O Organism)
                (instance ?O BodyPart))
            (not
                (and
                    (instance ?O Organism)
                    (instance ?O BodyPart)))
            (part ?V ?O)
            (equal ?F
                (FrontFn ?O))
            (meetsSpatially ?F ?V))))		 Anatomy.kif 2015-2029 If ventral is an attribute of X, then there exist Y and Z such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the front of Y and Z meets X
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 316-322 If X is the image on Y, Z is an instance of the set of copies on W of Y, and V contains Z, then the statement X is a part of the front of V has the modal force of likely


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners