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


KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryPredicate
TernaryPredicate(ternary predicate)

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


(subclass TernaryPredicate Predicate) Merge.kif 3528-3528 Ternary predicate is a subclass of predicate
(subclass TernaryPredicate TernaryRelation) Merge.kif 3529-3529 Ternary predicate is a subclass of ternary relation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3530-3530 Ternary predicate is a subclass of inheritable relation
(documentation TernaryPredicate EnglishLanguage "The Class of Predicates that require exactly three arguments.") Merge.kif 3532-3533 Ternary predicate is a subclass of inheritable relation

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


(instance connectedBodyPartTypes TernaryPredicate) Anatomy.kif 23-23 connected body parts is an instance of ternary predicate
(instance appointedPosition TernaryPredicate) Biography.kif 152-152 appointed position is an instance of ternary predicate
(instance offersAtTime TernaryPredicate) Catalog.kif 125-125 offers at time is an instance of ternary predicate
(instance negotiatedPrice TernaryPredicate) Catalog.kif 265-265 negotiated price is an instance of ternary predicate
(instance productPrice TernaryPredicate) Catalog.kif 409-409 product price is an instance of ternary predicate
(instance contractedRentalPrice TernaryPredicate) Catalog.kif 494-494 contracted rental price is an instance of ternary predicate
(instance communicationSatelliteForArea TernaryPredicate) Communications.kif 132-132 communication satellite for area is an instance of ternary predicate
(instance contraryAttributeWRT TernaryPredicate) ComputerInput.kif 16-16 contrary attribute WRT is an instance of ternary predicate
(instance achievement TernaryPredicate) ComputingBrands.kif 1658-1658 achievement is an instance of ternary predicate
(instance thirdPartyProduct TernaryPredicate) ComputingBrands.kif 3826-3826 third party product is an instance of ternary predicate
(instance loggedInDuring TernaryPredicate) ComputingBrands.kif 4234-4234 logged_in during is an instance of ternary predicate
(instance corkageFee TernaryPredicate) Dining.kif 115-115 corkage fee is an instance of ternary predicate
(instance subjectiveAttribute TernaryPredicate) Dining.kif 312-312 subjective attribute is an instance of ternary predicate
(instance contestObject TernaryPredicate) Dining.kif 875-875 contest object is an instance of ternary predicate
(instance totalGDPInPeriod TernaryPredicate) Economy.kif 987-987 totalGDP in period is an instance of ternary predicate
(instance realGrowthRateOfGDPInPeriod TernaryPredicate) Economy.kif 1073-1073 real growth rate of GDP in period is an instance of ternary predicate
(instance perCapitaGDPInPeriod TernaryPredicate) Economy.kif 1109-1109 per capitaGDP in period is an instance of ternary predicate
(instance sectorCompositionOfGDP TernaryPredicate) Economy.kif 1161-1161 sector composition ofGDP is an instance of ternary predicate
(instance sectorValueOfGDP TernaryPredicate) Economy.kif 1207-1207 sector value of GDP is an instance of ternary predicate
(instance populationFractionBelowPovertyLineInPeriod TernaryPredicate) Economy.kif 1243-1243 population fraction below poverty line in period is an instance of ternary predicate
(instance lowestDecileShareOfHouseholdIncomeInPeriod TernaryPredicate) Economy.kif 1287-1287 lowest decile share of household income in period is an instance of ternary predicate
(instance highestDecileShareOfHouseholdIncomeInPeriod TernaryPredicate) Economy.kif 1332-1332 highest decile share of household income in period is an instance of ternary predicate
(instance incomeDistributionByGiniIndexInPeriod TernaryPredicate) Economy.kif 1378-1378 income distribution by gini index in period is an instance of ternary predicate
(instance inflationRateOfConsumerPricesInPeriod TernaryPredicate) Economy.kif 1419-1419 inflation rate of consumer prices in period is an instance of ternary predicate
(instance laborForceTotalInPeriod TernaryPredicate) Economy.kif 1443-1443 labor force total in period is an instance of ternary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))		 Merge.kif 3535-3537 If X is an instance of ternary predicate, then X has 3 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 is open source software produced by Articulate Software and its partners