TreeView Knowledge Base Browser - exhaustiveAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1507-1510
No TPTP formula. May not be expressible in strict first order.	Merge.kif 491-495
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 71-75
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 82-86
No TPTP formula. May not be expressible in strict first order.	Merge.kif 489-489	详尽的属性的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 488-488	详尽的属性的 1 数量是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 486-486	详尽的属性是谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 487-487	详尽的属性是不定次元关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3342-3342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3341-3341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3340-3340
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22768-22768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22767-22767
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22766-22766

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 503-507	如果 @ROW 是所有的另一个有点属性的 attributes 和实体是 (@ROW) 的 member，然后那个实体是另一个有点属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 497-501	如果 @ROW 是所有的另一个有点属性的 attributes 和实体是 (@ROW) 的 member，然后那个实体是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 519-531	如果 @ROW 是所有的另一个有点属性的 attributes ，然后不存在实体这样那个实体是另一个有点属性的 instance 和不存在另一个实体和正整数这样那个实体 equal 那个另外实体和那个另外实体 equal (@ROW) 的第那个正整数几个元素
No TPTP formula. May not be expressible in strict first order.	Merge.kif 509-517	如果 @ROW 是所有的另一个有点属性的 attributes ，然后对所有实体如果那个实体是另一个有点属性的 instance，然后有存在另一个实体这样那个另外实体是 (@ROW) 的 member 和那个实体 equal 那个另外实体

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18078-18078	活的是所有的生命度属性的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 285-286	AppraisalAsAvoidableConsequences 是所有的 AppraisalOfAvoidabilityOfConsequences 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 596-598	AppraisalAsCausedSupernaturally 是所有的 AppraisalOfCausalAgency 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 671-672	AppraisalAsUnintended 是所有的 AppraisalOfCausalIntent 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 461-462	AppraisalAsCongruentWithIdeals 是所有的 AppraisalOfCongruenceWithIdeals 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 552-553	AppraisalAsNotDangerous 是所有的 AppraisalOfDangerousness 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 397-398	AppraisalAsDesirableConsequences 是所有的 AppraisalOfDesirabilityOfConsequences 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 529-530	AppraisalAsExpected 是所有的 AppraisalOfExpectedness 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 314-315	AppraisalAsFamiliar 是所有的 AppraisalOfFamiliarity 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 213-214	EvaluationAsImportantToGoals 是所有的 AppraisalOfGoalImportance 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 337-338	AppraisalAsUnjustTreatment 是所有的 AppraisalOfJusticeOfTreatment 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 495-496	AppraisalAsPleasant 是所有的 AppraisalOfPleasantness 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 240-241	AppraisalAsPredictable 是所有的 AppraisalOfPredictability 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 640-642	AppraisalAsBeingAtTheCentreOfAttention 是所有的 AppraisalOfSocialAttention 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 575-576	AppraisalAsSudden 是所有的 AppraisalOfSuddenness 的 attributes
No TPTP formula. May not be expressible in strict first order.	emotion.kif 427-428	AppraisalAsNotUrgentResponse 是所有的 AppraisalOfUrgency 的 attributes
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18136-18136	完全成型是所有的发育属性的 attributes
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1831-1831	高流动性是所有的流动性属性的 attributes
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17543-17543	固体是所有的物质状态的 attributes
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1851-1851	高风险是所有的风险属性的 attributes
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18105-18105	女是所有的性别属性的 attributes
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4069-4069	火山活跃是所有的火山状况的 attributes
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1869-1869	高产是所有的屈服属性的 attributes

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

KB Term:			Term intersection

English Word: