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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewtonsThirdLaw
NewtonsThirdLaw

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


(abstractPart NewtonsThirdLaw NewtonsLaw) engineering.kif 1262-1262 abstractPart NewtonsThirdLaw and NewtonsLaw
(documentation NewtonsThirdLaw EnglishLanguage "Action and reaction are equal and opposite.") engineering.kif 1259-1259
(instance NewtonsThirdLaw ScientificLaw) engineering.kif 1261-1261 NewtonsThirdLawScientificLawinstance では %n
(lexicon NewtonsThirdLaw LexNoun "{Newton's third} law") engineering.kif 1260-1260

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


(termFormat ChineseLanguage NewtonsThirdLaw "牛顿第三定律") domainEnglishFormat.kif 40401-40401
(termFormat ChineseTraditionalLanguage NewtonsThirdLaw "牛頓第三定律") domainEnglishFormat.kif 40400-40400
(termFormat EnglishLanguage NewtonsThirdLaw "newtons third law") domainEnglishFormat.kif 40399-40399


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