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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AngleMeasure

Sigma KEE - AngleMeasure
AngleMeasure(mesure d'angle)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2424-2424
No TPTP formula. May not be expressible in strict first order. Merge.kif 6315-6316
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1113-1113
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4499-4499
No TPTP formula. May not be expressible in strict first order. Merge.kif 6313-6313 Mesure d'angle est une sous-classe de quantit� constante

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6324-6324 Mesure de l'angle d'une surface est une sous-classe de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Merge.kif 6328-6328 Mesure de l'angle dun objet en trois dimensions est une sous-classe de mesure d'angle
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1309-1309
No TPTP formula. May not be expressible in strict first order. english_format.kif 1835-1835
No TPTP formula. May not be expressible in strict first order. french_format.kif 987-987
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 522-522
No TPTP formula. May not be expressible in strict first order. terms-it.txt 526-526
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2671-2671
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 939-939
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 528-528
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 562-562
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 1008-1008
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 527-527

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 407-407 Le nombre 2 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 408-408 Le nombre 3 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 409-409 Le nombre 4 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 445-445 Le nombre 2 argument de LongitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 446-446 Le nombre 3 argument de LongitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 447-447 Le nombre 4 argument de LongitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10704-10704 Le nombre 3 argument de bodyAngle est une instance de mesure d'angle

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6394-6398


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