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


KB Term:  Term intersection
English Word: 

  PartialValuedRelation

 Sigma KEE - PartialValuedRelation
PartialValuedRelation(partial valued relation)

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


(subclass PartialValuedRelation Relation) Merge.kif 2333-2333 Partial valued relation is a subclass of relation
(documentation PartialValuedRelation EnglishLanguage "A Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position. Note that, if a Relation is both a PartialValuedRelation and a SingleValuedRelation, then it is a partial function.") Merge.kif 2335-2340 Partial valued relation is a subclass of relation

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


(instance inverse PartialValuedRelation) Merge.kif 110-110 inverse is an instance of partial valued relation
(instance disjointRelation PartialValuedRelation) Merge.kif 403-403 disjoint relation is an instance of partial valued relation
(instance successorAttributeClosure PartialValuedRelation) Merge.kif 721-721 successor attribute closure is an instance of partial valued relation
(instance FrontFn PartialValuedRelation) Merge.kif 868-868 Front is an instance of partial valued relation
(instance BackFn PartialValuedRelation) Merge.kif 888-888 Back is an instance of partial valued relation
(instance contains PartialValuedRelation) Merge.kif 1089-1089 contains is an instance of partial valued relation
(instance ExtensionFn PartialValuedRelation) Merge.kif 1851-1851 Extension is an instance of partial valued relation
(instance AttrFn PartialValuedRelation) Merge.kif 1866-1866 Attr is an instance of partial valued relation
(instance agent PartialValuedRelation) Merge.kif 2540-2540 agent is an instance of partial valued relation
(instance destination PartialValuedRelation) Merge.kif 2551-2551 destination is an instance of partial valued relation
(instance experiencer PartialValuedRelation) Merge.kif 2565-2565 experiencer is an instance of partial valued relation
(instance instrument PartialValuedRelation) Merge.kif 2578-2578 instrument is an instance of partial valued relation
(instance origin PartialValuedRelation) Merge.kif 2589-2589 origin is an instance of partial valued relation
(instance patient PartialValuedRelation) Merge.kif 2602-2602 patient is an instance of partial valued relation
(instance resource PartialValuedRelation) Merge.kif 2618-2618 resource is an instance of partial valued relation
(instance resourceExhausted PartialValuedRelation) Merge.kif 2642-2642 resource exhausted is an instance of partial valued relation
(instance result PartialValuedRelation) Merge.kif 2659-2659 result is an instance of partial valued relation
(instance ListOrderFn PartialValuedRelation) Merge.kif 3087-3087 List order is an instance of partial valued relation
(instance inList PartialValuedRelation) Merge.kif 3216-3216 in list is an instance of partial valued relation
(instance eventPartlyLocated PartialValuedRelation) Merge.kif 4196-4196 event partly located is an instance of partial valued relation
(instance penetrates PartialValuedRelation) Merge.kif 4324-4324 penetrates is an instance of partial valued relation
(instance hindersSubclass PartialValuedRelation) Merge.kif 4422-4422 hinders subclass is an instance of partial valued relation
(instance preventsSubclass PartialValuedRelation) Merge.kif 4450-4450 prevents subclass is an instance of partial valued relation
(instance prevents PartialValuedRelation) Merge.kif 4479-4479 prevents is an instance of partial valued relation
(instance hinders PartialValuedRelation) Merge.kif 4502-4502 hinders 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
-------------------------


(partition Relation TotalValuedRelation PartialValuedRelation) Merge.kif 2273-2273 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners