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


KB Term:  Term intersection
English Word: 

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners