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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2171-2176
No TPTP formula. May not be expressible in strict first order. Merge.kif 2169-2169 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 8741-8741 AfternoonFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1721-1721 Attr is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 877-877 Back is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8495-8495 Day is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4651-4651 Division is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15238-15238 Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8841-8841 EveningFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1706-1706 Extension is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 857-857 Front is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16442-16442 Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4756-4756 Greatest common divisor is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8520-8520 Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5825-5825 Initial node is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4832-4832 Integer square root is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5487-5487 Kappa is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4840-4840 Least common multiple is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2910-2910 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8546-8546 Minute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8478 Month is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8725-8725 MorningFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14129-14129 Periodical issue is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8875-8875 QuarterFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8351-8351 Recurrent time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5005-5005 Remainder is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8573-8573 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 2109-2109 Relation is exhaustively partitioned into total valued relation and partial valued relation


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