TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3683-3685
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16356-16358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16354-16354	Le nombre 1 argument de familyRelation est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16355-16355	Le nombre 2 argument de familyRelation est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16353-16353	familyRelation est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16343-16343	familyRelation est une sous-relation de relative

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 545-545
No TPTP formula. May not be expressible in strict first order.	english_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.	french_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 108-108
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2088-2088
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 713-713
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 341-341
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 354-354
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 226-226
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23042-23042	aunt est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23057-23057	cousin est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 663-663	fathersBrothersDaughter est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 651-651	fathersBrothersSon est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 603-603	fathersBrothersWife est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 711-711	fathersSistersDaughter est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 627-627	fathersSistersHusband est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 699-699	fathersSistersSon est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 592-592	maternalAunt est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 570-570	maternalUncle est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 687-687	mothersBrothersDaughter est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 675-675	mothersBrothersSon est une sous-relation de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 615-615	mothersBrothersWife est une sous-relation de familyRelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy organisme est une instance de humain organisme est une instance de humain chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel organisme et organisme sont parents interval temporel arrive plus t�t que interval temporel l'argument chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16360-16365	Organisme et organisme sont parents organisme ancestor organisme and organisme ancestor organisme and organisme

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7268-7273	Objet est une instance de FamilyBusiness organisme poss�de objet organisme poss�de objet organisme et organisme sont parents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16285-16292	Collection est une instance de family groupe familiale organisme organisme organisme est un membre de collection organisme est un membre de collection organisme et organisme sont parents

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

KB Term:			Term intersection

English Word: