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

Formal Language: 



KB Term:  Term intersection
English Word: 

  orbits

 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 3376-3377
(domain orbits 1 Object) Geography.kif 3373-3373 Le nombre 1 argument de orbits est une instance de objet
(domain orbits 2 AstronomicalBody) Geography.kif 3374-3374 Le nombre 2 argument de orbits est une instance de corps astronomique
(instance orbits AsymmetricRelation) Geography.kif 3372-3372 orbits est une instance de relation asym�trique
(instance orbits BinaryPredicate) Geography.kif 3371-3371 orbits est une instance de pr�dicat binaire

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 42426-42426
(termFormat ChineseTraditionalLanguage orbits "軌道") domainEnglishFormat.kif 42425-42425
(termFormat EnglishLanguage orbits "orbits") domainEnglishFormat.kif 42424-42424

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


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

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


(orbits EarthsMoon PlanetEarth) Geography.kif 3399-3399 orbits EarthsMoon and PlanetEarth
(orbits PlanetEarth Sol) Geography.kif 3407-3407 orbits PlanetEarth and Sol
(orbits PlanetJupiter Sol) Geography.kif 3415-3415 orbits PlanetJupiter and Sol
(orbits PlanetMars Sol) Geography.kif 3413-3413 orbits PlanetMars and Sol
(orbits PlanetMercury Sol) Geography.kif 3409-3409 orbits PlanetMercury and Sol
(orbits PlanetNeptune Sol) Geography.kif 3419-3419 orbits PlanetNeptune and Sol
(orbits PlanetPluto Sol) Geography.kif 3423-3423 orbits PlanetPluto and Sol
(orbits PlanetSaturn Sol) Geography.kif 3417-3417 orbits PlanetSaturn and Sol
(orbits PlanetUranus Sol) Geography.kif 3421-3421 orbits PlanetUranus and Sol
(orbits PlanetVenus Sol) Geography.kif 3411-3411 orbits PlanetVenus and Sol


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 is open source software produced by Articulate Software and its partners