TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1504-1506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 459-462
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 68-70
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 78-81
No TPTP formula. May not be expressible in strict first order.	Merge.kif 457-457	Le nombre 1 argument de contraryAttribute est une instance de attribut
No TPTP formula. May not be expressible in strict first order.	Merge.kif 455-455	contraryAttribute est une instance de predicat
No TPTP formula. May not be expressible in strict first order.	Merge.kif 456-456	contraryAttribute est une instance de relation a arit� variable

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 283-283
No TPTP formula. May not be expressible in strict first order.	english_format.kif 288-288
No TPTP formula. May not be expressible in strict first order.	french_format.kif 164-164
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 58-58
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1984-1984
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 116-116
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 367-367
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 184-184
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 171-171
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 284-284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17010-17010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17009-17009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17008-17008
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 114-114
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 133-133

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 476-484	@ROW est l'oppos� de attribut est entit� attribut est entit� nombre entier positif est nombre entier positif entit� a un attribute attribut entit� a un attribute attribut
No TPTP formula. May not be expressible in strict first order.	Merge.kif 470-474	@ROW1 est l'oppos� de identicalListItems (@ROW1) and (@ROW2) @ROW2 est l'oppos� de
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14979-14990	Objet est une instance de animal objet est une instance de BodySideFn AntiSymmetricPositionalAttribute and partie du corps AntiSymmetricPositionalAttribute est l'oppos� de AntiSymmetricPositionalAttributeO Healthy est un attribut de objet objetO objetO est une instance de BodySideFn AntiSymmetricPositionalAttributeO and partie du corps objet est AntiSymmetricPositionalAttribute � objetO
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	Interval temporel est une instance de BringingGEToFront entit� est un patient de interval temporel entit� est une instance de InterfaceWindow hasGUEState entit� and attribut pendant le d�but de interval temporel attribut est l'oppos� de GUE_UncoveredState hasGUEState entit� and attribut pendant la fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16921-16929	Objet est attribut positionnel � objet @ROW est l'oppos� de attribut positionnel est un membre de (@ROW) attribut positionnel est un membre de (@ROW) attribut positionnel est attribut positionnel objet est attribut positionnel � objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 464-468	@ROW est l'oppos� de entit� est un membre de (@ROW) entit� est une instance de attribut

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 470-474	@ROW1 est l'oppos� de identicalListItems (@ROW1) and (@ROW2) @ROW2 est l'oppos� de
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18143-18145	oppositeDirection attribut positionnel and attribut positionnel attribut positionnel est l'oppos� de attribut positionnel

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17073-17073	Above est l'oppos� de Below
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4475-4475	AccountDeactivated est l'oppos� de AccountActive
No TPTP formula. May not be expressible in strict first order.	Food.kif 2803-2803	AcidicPH est l'oppos� de BasicPH
No TPTP formula. May not be expressible in strict first order.	emotion.kif 522-522	AppraisalAsBeingDisliked est l'oppos� de AppraisalAsBeingLiked
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13607-13607	Audible est l'oppos� de Inaudible
No TPTP formula. May not be expressible in strict first order.	Government.kif 336-336	AuthoritarianRegime est l'oppos� de MultipartyDemocracy
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 391-391	BroadGauge est l'oppos� de StandardGauge
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22232-22232	Civilian est l'oppos� de MilitaryPerson
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4960-4960	Clockwise est l'oppos� de CounterClockwise
No TPTP formula. May not be expressible in strict first order.	engineering.kif 675-675	Conductivity est l'oppos� de Resistivity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 435-435	Conscious est l'oppos� de inconscient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1638-1638	ContainerFull est l'oppos� de ContainerEmpty
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18093-18093	Dead est l'oppos� de Living
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29438-29438	DeviceDamaged est l'oppos� de DeviceNormal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3644-3644	DeviceOn est l'oppos� de DeviceOff
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3645-3645	DeviceOpen est l'oppos� de DeviceClosed
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25572-25572	Dirty est l'oppos� de Clean
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8656-8656	Drugged est l'oppos� de Sober
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17991-17991	Dry est l'oppos� de Damp
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18190-18190	Embryonic est l'oppos� de Larval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16985-16985	False est l'oppos� de True
No TPTP formula. May not be expressible in strict first order.	Government.kif 285-285	FederalGovernment est l'oppos� de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 284-284	FederalGovernment est l'oppos� de UnitaryRule
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1849-1849	FeelingAlert est l'oppos� de FeelingTired
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1782-1782	FeelingAtEase est l'oppos� de FeelingRestless

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: