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


KB Term:  Term intersection
English Word: 

  CompoundSubstance

 Sigma KEE - QuaternaryPredicate
QuaternaryPredicate(quaternary predicate)

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


(subclass QuaternaryPredicate Predicate) Merge.kif 3613-3613 Quaternary predicate is a subclass of predicate
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3614-3614 Quaternary predicate is a subclass of quaternary relation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3615-3615 Quaternary predicate is a subclass of inheritable relation
(documentation QuaternaryPredicate EnglishLanguage "The Class of Predicates that require four arguments.") Merge.kif 3617-3618 Quaternary predicate is a subclass of inheritable relation

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


(instance betweenOnPath QuaternaryPredicate) Merge.kif 4282-4282 before on path is an instance of quaternary predicate
(instance agreementClause QuaternaryPredicate) Mid-level-ontology.kif 15661-15661 agreement clause is an instance of quaternary predicate
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 18581-18581 monetary wage is an instance of quaternary predicate
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 32354-32354 before on path is an instance of quaternary predicate
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 32585-32585 rents is an instance of quaternary predicate
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 price range is an instance of quaternary predicate
(instance publishedPrice QuaternaryPredicate) Catalog.kif 326-326 published price is an instance of quaternary predicate
(instance unitPrice QuaternaryPredicate) Catalog.kif 390-390 unit price is an instance of quaternary predicate
(instance rentalPrice QuaternaryPredicate) Catalog.kif 447-447 rental price is an instance of quaternary predicate
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2982-2982 GMB is an instance of quaternary predicate
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 3011-3011 GMV is an instance of quaternary predicate
(instance capabilityDuring QuaternaryPredicate) Dining.kif 915-915 capable during is an instance of quaternary predicate
(instance sectorCompositionOfGDPInPeriod QuaternaryPredicate) Economy.kif 1144-1144 sector composition of GDP in period is an instance of quaternary predicate
(instance sectorValueOfGDPInPeriod QuaternaryPredicate) Economy.kif 1183-1183 sector value of GDP in period is an instance of quaternary predicate
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1505-1505 labor force fraction by occupation in period is an instance of quaternary predicate
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2260-2260 electricity fraction from source in period is an instance of quaternary predicate
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2723-2723 export partner by rank in period is an instance of quaternary predicate
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2753-2753 export partner by fraction in period is an instance of quaternary predicate
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 3013-3013 import partner by rank in period is an instance of quaternary predicate
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 3043-3043 import partner by fraction in period is an instance of quaternary predicate
(instance comparativeArea QuaternaryPredicate) Geography.kif 2117-2117 comparative area is an instance of quaternary predicate
(instance voteFractionReceived QuaternaryPredicate) Government.kif 1827-1827 vote fraction received is an instance of quaternary predicate
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4435-4435 chief of diplomatic mission is an instance of quaternary predicate
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4447-4447 diplomatic representative in role is an instance of quaternary predicate
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 observed at time in place is an instance of quaternary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))		 Merge.kif 3620-3622 If X is an instance of quaternary predicate, then X has 4 argument(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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners