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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialValuedRelation

Sigma KEE - PartialValuedRelation
PartialValuedRelation(partial valued relation)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1827-1830
No TPTP formula. May not be expressible in strict first order. Merge.kif 2173-2178
No TPTP formula. May not be expressible in strict first order. Merge.kif 2171-2171 Partial 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 8743-8743 AfternoonFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1723-1723 Attr is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 879-879 Back is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8497-8497 Day is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4653-4653 Division is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15253-15253 Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8843-8843 EveningFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1708-1708 Extension is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 859-859 Front is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16457-16457 Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4758-4758 Greatest common divisor is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8522-8522 Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5827-5827 Initial node is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4834-4834 Integer square root is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5489-5489 Kappa is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4842-4842 Least common multiple is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2912-2912 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8548-8548 Minute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8480-8480 Month is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8727-8727 MorningFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14180-14180 Periodical issue is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8877-8877 QuarterFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8353-8353 Recurrent time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5007-5007 Remainder is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8575-8575 Second is an instance of partial valued relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2111-2111 Relation is exhaustively partitioned into total valued relation and partial valued relation


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