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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMeasure

 Sigma KEE - defaultMeasure
defaultMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13562-13562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13561-13561 O argumento numero 2 de defaultMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13560-13560 O argumento numero 1 de defaultMeasure e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13559-13559 defaultMeasure e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3194-3194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3193-3193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3192-3192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13563-13563

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13565-13574
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13576-13585

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20272-20272 defaultMeasure Alligator and 790.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20285-20285 defaultMeasure Badger and 20.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20300-20300 defaultMeasure Bear and 500.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Food.kif 2524-2525 defaultMeasure BoxOfChocolates and 250.0 Gram(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30554-30554 defaultMeasure Cheetah and 150.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30530-30530 defaultMeasure Crocodile and 2000.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30571-30571 defaultMeasure Ferret and 2.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30589-30589 defaultMeasure GuineaPig and 2.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20314-20314 defaultMeasure Kangaroo and 18.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20322-20322 defaultMeasure Llama and 18.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30490-30490 defaultMeasure Octopus and 33.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30476-30476 defaultMeasure Panda and 240.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30512-30512 defaultMeasure Reindeer and 300.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20331-20331 defaultMeasure Skunk and 5.0 PoundMass(s)


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