Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - orbits
orbits

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


(documentation orbits EnglishLanguage "(orbits ?SATELLITE ?FOCUS) means that the Object ?SATELLITE revolves around the AstronomicalBody ?FOCUS.") Geography.kif 3257-3258
(domain orbits 1 Object) Geography.kif 3254-3254
(domain orbits 2 AstronomicalBody) Geography.kif 3255-3255
(instance orbits AsymmetricRelation) Geography.kif 3253-3253
(instance orbits BinaryPredicate) Geography.kif 3252-3252

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


(format ChineseLanguage orbits "%2 %n 是 %1 的 orbits ") domainEnglishFormat.kif 1851-1851
(format ChineseTraditionalLanguage orbits "%2 %n 是 %1 的 orbits ") domainEnglishFormat.kif 1850-1850
(format EnglishLanguage orbits "%2 is %n an orbits of %1") domainEnglishFormat.kif 1849-1849
(termFormat ChineseLanguage orbits "轨道") domainEnglishFormat.kif 42403-42403
(termFormat ChineseTraditionalLanguage orbits "軌道") domainEnglishFormat.kif 42402-42402
(termFormat EnglishLanguage orbits "orbits") domainEnglishFormat.kif 42401-42401

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


(=>
    (instance ?SAT Satellite)
    (exists (?BODY)
        (and
            (instance ?BODY AstronomicalBody)
            (orbits ?SAT ?BODY))))
Geography.kif 3260-3265

appearance as argument number 0
-------------------------


(orbits EarthsMoon PlanetEarth) Geography.kif 3280-3280
(orbits PlanetEarth Sol) Geography.kif 3288-3288
(orbits PlanetJupiter Sol) Geography.kif 3296-3296
(orbits PlanetMars Sol) Geography.kif 3294-3294
(orbits PlanetMercury Sol) Geography.kif 3290-3290
(orbits PlanetNeptune Sol) Geography.kif 3300-3300
(orbits PlanetPluto Sol) Geography.kif 3304-3304
(orbits PlanetSaturn Sol) Geography.kif 3298-3298
(orbits PlanetUranus Sol) Geography.kif 3302-3302
(orbits PlanetVenus Sol) Geography.kif 3292-3292


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