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


KB Term:  Term intersection
English Word: 

  penetrates

 Sigma KEE - penetrates
penetrates

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


(subrelation penetrates traverses) Merge.kif 4318-4318 penetrates is a subrelation of traverses
(domain penetrates 1 Object) Merge.kif 4319-4319 The number 1 argument of penetrates is an instance of object
(domain penetrates 2 Object) Merge.kif 4320-4320 The number 2 argument of penetrates is an instance of object
(instance penetrates AsymmetricRelation) Merge.kif 4322-4322 penetrates is an instance of asymmetric relation
(instance penetrates IntransitiveRelation) Merge.kif 4323-4323 penetrates is an instance of intransitive relation
(instance penetrates PartialValuedRelation) Merge.kif 4324-4324 penetrates is an instance of partial valued relation
(documentation penetrates EnglishLanguage "(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth).") Merge.kif 4326-4328 penetrates is an instance of partial valued relation

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


(termFormat EnglishLanguage penetrates "penetrates") domainEnglishFormat.kif 45011-45011
(termFormat ChineseTraditionalLanguage penetrates "滲透") domainEnglishFormat.kif 45012-45012
(termFormat ChineseLanguage penetrates "渗透") domainEnglishFormat.kif 45013-45013
(format EnglishLanguage penetrates "%1 %n{doesn't} penetrate%p{s} %2") english_format.kif 218-218

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


(=>
    (penetrates ?X ?Y)
    (meetsSpatially ?X ?Y))		 Merge.kif 4330-4332 If X penetrates Y, then X meets Y

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


(=>
    (traverses ?OBJ1 ?OBJ2)
    (or
        (crosses ?OBJ1 ?OBJ2)
        (penetrates ?OBJ1 ?OBJ2)))		 Merge.kif 4301-4305 If X traverses Y, then X crosses Y or X penetrates Y
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))		 Geography.kif 6818-6823 If X is an instance of inlet, then there exists Y such that Y is an instance of land area and X penetrates Y
(=>
    (instance ?Peninsula Peninsula)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (penetrates ?Peninsula ?Water))))		 Geography.kif 7400-7405 If X is an instance of peninsula, then there exists Y such that Y is an instance of water area and X penetrates Y
(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))		 Geography.kif 7411-7416 If X is an instance of cape, then there exists Y such that Y is an instance of water area and X penetrates 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