  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

Sigma KEE - TotalValuedRelation
 TotalValuedRelation(total valued relation)

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1823-1826 No TPTP formula. May not be expressible in strict first order. Merge.kif 2109-2113 No TPTP formula. May not be expressible in strict first order. Merge.kif 2107-2107 Total valued relation is a subclass of inheritable relation No TPTP formula. May not be expressible in strict first order. Merge.kif 2106-2106 Total valued relation is a subclass of relation

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. Merge.kif 4585-4585 Absolute value is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Cars.kif 1293-1293 AccelerationFn is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4535-4535 Addition is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 7595-7595 Begin is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5638-5638 Begin node is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4606-4606 Ceiling is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 7264-7264 Center of circle is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5201-5201 Complement is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4624-4624 Cosine is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4633-4633 Denominator is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 6363-6363 Density is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4644-4644 Diameter is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 7623-7623 End is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5649-5649 End node is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4642-4642 Exponentiation is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4651-4651 Floor is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 7998-7998 Future is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5222-5222 Generalized intersection is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5211-5211 Generalized union is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5756-5756 Graph path is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4719-4719 Imaginary part is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 15160-15160 Immediate family is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 8015-8015 Immediate future is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 7984-7984 Immediate past is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5179-5179 Intersection is an instance of total valued relation Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 2115-2132 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and if for all another positive integer, an entity and a class if the other positive integer is less than the positive integer and the number the other positive integer argument of the relation is an instance of the class and the entity is equal to the other positive integerth element of (@ROW),then the entity is an instance of the class,then there exists a fourth entity such that the relation @ROW and the fourth entity 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