IntentionalRelation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1920-1921 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2673-2675 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 547-548 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2670-2670 | IntentionalRelation e' uma sub-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | IntentionalRelation e' uma sub-classe de Relacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23030-23030 | cohabitant e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23414-23414 | domesticPartner e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22995-22995 | friend e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | inScopeOfInterest e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2685-2685 | prefers e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22928-22928 | serviceProvider e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22939-22939 | serviceRecipient e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2708-2708 | Atitude em relacao a um Objeto e' uma sub-classe de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2694-2694 | Atitude pProposicional e' uma sub-classe de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30385-30385 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30384-30384 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30383-30383 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2677-2682 |
|