Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
courseWRTTrueNorth
Sigma KEE - courseWRTTrueNorth
courseWRTTrueNorth
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3726-3729
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3722-3722
The number 1 argument of
courseWRT true north
is an
instance
of
physical
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3723-3723
The number 2 argument of
courseWRT true north
is an
instance
of
physical
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3724-3724
The number 3 argument of
courseWRT true north
is an
instance
of
plane angle measure
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3721-3721
courseWRT true north
is an
instance
of
ternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 568-568
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 567-567
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 566-566
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17628-17628
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17627-17627
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17626-17626
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3731-3733
An object
courseWRT
true north
another object
for 0.0
angular degree
(s) if and only if
the object
is
north
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3755-3757
An object
courseWRT
true north
another object
for 135.0
angular degree
(s) if and only if
the object
is
southeast
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3739-3741
An object
courseWRT
true north
another object
for 180.0
angular degree
(s) if and only if
the object
is
south
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3759-3761
An object
courseWRT
true north
another object
for 225.0
angular degree
(s) if and only if
the object
is
southwest
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3743-3745
An object
courseWRT
true north
another object
for 270.0
angular degree
(s) if and only if
the object
is
west
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3763-3765
An object
courseWRT
true north
another object
for 315.0
angular degree
(s) if and only if
the object
is
northwest
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3747-3749
An object
courseWRT
true north
another object
for 360.0
angular degree
(s) if and only if
the object
is
north
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3751-3753
An object
courseWRT
true north
another object
for 45.0
angular degree
(s) if and only if
the object
is
northeast
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3735-3737
An object
courseWRT
true north
another object
for 90.0
angular degree
(s) if and only if
the object
is
east
to
the other object
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