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


KB Term:  Term intersection
English Word: 

  exactlyLocated

 Sigma KEE - exactlyLocated
exactlyLocated

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


(subrelation exactlyLocated located) Merge.kif 4242-4242 exactly located is a subrelation of located
(domain exactlyLocated 1 Physical) Merge.kif 4243-4243 The number 1 argument of exactly located is an instance of physical
(domain exactlyLocated 2 Object) Merge.kif 4244-4244 The number 2 argument of exactly located is an instance of object
(instance exactlyLocated BinaryPredicate) Merge.kif 4245-4245 exactly located is an instance of binary predicate
(documentation exactlyLocated EnglishLanguage "The actual, minimal location of an Object. This is a subrelation of the more general Predicate located.") Merge.kif 4247-4249 exactly located is an instance of binary predicate

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


(termFormat EnglishLanguage exactlyLocated "exactly located") domainEnglishFormat.kif 22645-22645
(termFormat ChineseTraditionalLanguage exactlyLocated "完全定位") domainEnglishFormat.kif 22646-22646
(termFormat ChineseLanguage exactlyLocated "完全定位") domainEnglishFormat.kif 22647-22647
(format EnglishLanguage exactlyLocated "%1 is %n exactly located in %2") english_format.kif 101-101

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


(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))		 Merge.kif 4251-4258 If X is exactly located in Y, then there doesn't exist Z such that Z is exactly located in Y, equal Z, and X
(=>
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION))
    (equal
        (WhereFn ?THING ?TIME) ?REGION))		 Merge.kif 4352-4356 If X is exactly located in Y holds during Z, then equal the place where X was at Z and Y

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


(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))		 Merge.kif 4251-4258 If X is exactly located in Y, then there doesn't exist Z such that Z is exactly located in Y, equal Z, and X
(=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))		 Merge.kif 4346-4350 If equal the place where X was at Y and Z, then X is exactly located in Z holds during Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners